From b9b7875c2c8cb914517d3c3aaad80caff8d610fc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 6 Feb 2010 15:34:41 -0500 Subject: Allow .urp files without initial blank lines --- demo/metaform1.urp | 1 - 1 file changed, 1 deletion(-) (limited to 'demo/metaform1.urp') diff --git a/demo/metaform1.urp b/demo/metaform1.urp index 7f04b9b7..c5558e25 100644 --- a/demo/metaform1.urp +++ b/demo/metaform1.urp @@ -1,3 +1,2 @@ - metaform metaform1 -- cgit v1.2.3