Tue, 01 Oct 2019 23:23:32 +0200 | František Kučera | small fixes, typos | changeset | files |
Tue, 01 Oct 2019 23:20:39 +0200 | František Kučera | add links to PDF and TXT | changeset | files |
Thu, 26 Sep 2019 16:27:05 +0200 | František Kučera | Communication with users and developers – clean-up, improve | changeset | files |