From db508615a6d473b9e74e67008b147d36409ee167 Mon Sep 17 00:00:00 2001 From: Val Erastov Date: Wed, 15 Jul 2015 22:12:08 -0700 Subject: [PATCH] hide checkpoint button --- web/sketcher.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web/sketcher.html b/web/sketcher.html index 5919d51a..4f5d89ca 100644 --- a/web/sketcher.html +++ b/web/sketcher.html @@ -278,8 +278,8 @@