From: Ralf Jung Date: Wed, 7 Oct 2015 16:27:28 +0000 (+0200) Subject: more careful sorting of the menu; readme generator more failure-resistant; add missin... X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/a9427057409359dd7aaeace41ab68f8a6d49dc54?hp=a9427057409359dd7aaeace41ab68f8a6d49dc54 more careful sorting of the menu; readme generator more failure-resistant; add missing readmes ---