| commit | ff5d8aaa28f16fc6b34b61d6926881cc31a9626d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 01 22:37:54 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 01 22:37:54 2001 +0000 |
| tree | 3b75b9c0a86dfeacba21dbf8eaf14451165fc552 | |
| parent | a5ffeb69ab814618d9b4d77eba3aa2e03b1b9625 [diff] |
Added preferences/startup options for division warning and accepting unix-style newlines on input. Also (finally) added a startup option to get -vv behaviour. Moved __convert_to_newlines to main.c because that's easier with the newline option.