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 /src/prim.sml | |
| parent | e43dd849a122a59fa2c22278ddf9c9a09d1550bd (diff) | |
Don't treat comment-only lines as blank, in determining split point of .urp files
Diffstat (limited to 'src/prim.sml')
0 files changed, 0 insertions, 0 deletions