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 | eb8972f37e9be2d226d66061e58f44760fa8fd86 (patch) | |
| tree | 7b9e45c721946d9cb2253eec7b4452948f646c9f /demo/crud3.urp | |
| parent | 9f419ec6939626011308a380a39d3a7f8a403554 (diff) | |
Don't treat comment-only lines as blank, in determining split point of .urp files
Diffstat (limited to 'demo/crud3.urp')
0 files changed, 0 insertions, 0 deletions