diff options
| author | pacien | 2018-04-30 21:08:47 +0200 |
|---|---|---|
| committer | pacien | 2018-04-30 21:08:47 +0200 |
| commit | a9c97df3133684f4f7ba0674b486ae77c20ab3c1 (patch) | |
| tree | 33450c371ef15279e41df36088dfcd3a1dc8c483 /src/parser.ml | |
| parent | 651e72602de2bdaeda933934de7f2a9be01aff09 (diff) | |
| download | urm-a9c97df3133684f4f7ba0674b486ae77c20ab3c1.tar.gz | |
Use another strategy to quit the program
Diffstat (limited to 'src/parser.ml')
0 files changed, 0 insertions, 0 deletions