diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-08-18 13:51:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-08-18 13:51:41 -0400 |
| commit | d039adcd9ccee4985d7e2d77dbd9f7580cd12577 (patch) | |
| tree | e418c27ae3ed6540685463ce29b46df30c473c03 /src/demo.sml | |
| parent | 2ee4b10363f79e6bace8eca3dfae1b800153ea98 (diff) | |
Better error message for funky command lines
Diffstat (limited to 'src/demo.sml')
0 files changed, 0 insertions, 0 deletions