From eb8972f37e9be2d226d66061e58f44760fa8fd86 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