Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | switch to universum prelude | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | | | | also don't keep adjusted maps around if not necessary | ||||
* | don't fail compilation if git is unavailable | stuebinm | 2022-03-19 | 1 | -1/+3 |
| | | | | (instead, `walint --version` will now just say "unknown") | ||||
* | print version information on --version | stuebinm | 2021-12-22 | 1 | -0/+15 |
If --version is given, `walint` prints version information, then exists with code 0. |