diff demo/counter.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 679b2fbbd4d0
children
line wrap: on
line diff
--- a/demo/counter.urp	Sat Feb 06 13:53:26 2010 -0500
+++ b/demo/counter.urp	Sat Feb 06 15:34:41 2010 -0500
@@ -1,2 +1,1 @@
-
 counter