Tue, 22 Oct 2019 21:57:15 +0200 | František Kučera | fix license version: GNU GPLv3 | file | diff | annotate |
Sat, 30 Mar 2019 16:14:41 +0100 | František Kučera | fix typo: Hadler → Handler | file | diff | annotate |
Mon, 03 Dec 2018 16:11:40 +0100 | František Kučera | CLI: untieStdIO() to avoid unwanted implicit flush() calls on std::cout → less write() calls | file | diff | annotate |
Sat, 01 Dec 2018 23:22:41 +0100 | František Kučera | fix names | file | diff | annotate | base |