diff demo/more/grid.urs @ 943:e2194a6793ae

Fix JavaScript char literals; don't generate demo links to nonexistent files
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 13:07:57 -0400
parents e2be476673f2
children da3ec6014d2f
line wrap: on
line diff
--- a/demo/more/grid.urs	Tue Sep 15 12:41:54 2009 -0400
+++ b/demo/more/grid.urs	Tue Sep 15 13:07:57 2009 -0400
@@ -47,4 +47,5 @@
     style tr
     style th
     style td
+    style agg
 end