schsh.git
10 years agobetter names for some files and things
Ralf Jung [Thu, 13 Feb 2014 14:58:42 +0000 (15:58 +0100)]
better names for some files and things

10 years agoInitial commit
Ralf Jung [Thu, 13 Feb 2014 14:35:32 +0000 (15:35 +0100)]
Initial commit