diff demo/listShop.urp @ 1151:de48dc2c9ee8

Allow .urp files without initial blank lines
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Feb 2010 15:34:41 -0500
parents a71600cac815
children
line wrap: on
line diff
--- a/demo/listShop.urp	Sat Feb 06 13:53:26 2010 -0500
+++ b/demo/listShop.urp	Sat Feb 06 15:34:41 2010 -0500
@@ -1,4 +1,3 @@
-
 list
 listFun
 listShop