From 6237af88655d8989ac803d3561074c4304c08922 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 10:44:26 -0400 Subject: Avoid any JavaScript when pages don't need it; update demo prose --- demo/tree.urp | 1 - 1 file changed, 1 deletion(-) (limited to 'demo/tree.urp') diff --git a/demo/tree.urp b/demo/tree.urp index 880a7ab4..0ded4202 100644 --- a/demo/tree.urp +++ b/demo/tree.urp @@ -1,4 +1,3 @@ -debug database dbname=test sql tree.sql -- cgit v1.2.3