Mon, 03 Dec 2018 16:11:40 +0100 CLI: untieStdIO() to avoid unwanted implicit flush() calls on std::cout → less write() calls v_0
František Kučera <franta-hg@frantovo.cz> [Mon, 03 Dec 2018 16:11:40 +0100] rev 31
CLI: untieStdIO() to avoid unwanted implicit flush() calls on std::cout → less write() calls
Sat, 01 Dec 2018 23:22:41 +0100 fix names v_0
František Kučera <franta-hg@frantovo.cz> [Sat, 01 Dec 2018 23:22:41 +0100] rev 30
fix names
Thu, 29 Nov 2018 22:30:12 +0100 license: GNU GPLv3+ v_0
František Kučera <franta-hg@frantovo.cz> [Thu, 29 Nov 2018 22:30:12 +0100] rev 29
license: GNU GPLv3+
(0) -30 -10 -3 +3 +10 tip