summaryrefslogtreecommitdiff
path: root/src/Version.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-10-11update stack resolverstuebinm1-1/+1
(also got rid of the map templater, which had version problems with mustache — it's not likely anyone will need it anyways)
2022-03-19remove leftover rc3 things & some new stuffstuebinm1-1/+1
this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
2022-03-19switch to universum preludestuebinm1-2/+2
also don't keep adjusted maps around if not necessary
2022-03-19don't fail compilation if git is unavailablestuebinm1-1/+3
(instead, `walint --version` will now just say "unknown")
2021-12-22print version information on --versionstuebinm1-0/+15
If --version is given, `walint` prints version information, then exists with code 0.