diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-20 18:33:21 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-20 18:33:21 -0500 |
commit | b8899334290e4d07aa1037c7fb4b5de26a609654 (patch) | |
tree | 7b9e45c721946d9cb2253eec7b4452948f646c9f /tests | |
parent | e43dd849a122a59fa2c22278ddf9c9a09d1550bd (diff) |
Don't treat comment-only lines as blank, in determining split point of .urp files
Diffstat (limited to 'tests')
-rw-r--r-- | tests/comment.ur | 0 | ||||
-rw-r--r-- | tests/comment.urp | 4 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tests/comment.ur b/tests/comment.ur new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/tests/comment.ur diff --git a/tests/comment.urp b/tests/comment.urp new file mode 100644 index 00000000..4865c8bd --- /dev/null +++ b/tests/comment.urp @@ -0,0 +1,4 @@ +#library common +database dbname=comment + +comment |