From b8899334290e4d07aa1037c7fb4b5de26a609654 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 20 Nov 2011 18:33:21 -0500 Subject: Don't treat comment-only lines as blank, in determining split point of .urp files --- tests/comment.ur | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 tests/comment.ur (limited to 'tests/comment.ur') diff --git a/tests/comment.ur b/tests/comment.ur new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3