From: Ralf Jung Date: Thu, 13 Feb 2014 14:58:42 +0000 (+0100) Subject: better names for some files and things X-Git-Url: https://git.ralfj.de/schsh.git/commitdiff_plain/6dfe0e9d89af3b03e9d199fd3ae086ab16aae77a?hp=6dfe0e9d89af3b03e9d199fd3ae086ab16aae77a better names for some files and things ---