git rid of piontless file endings; better docs
authorRalf Jung <post@ralfj.de>
Sun, 6 Dec 2015 16:15:44 +0000 (17:15 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 6 Dec 2015 16:18:36 +0000 (17:18 +0100)
commit2e3f15f335932f524c7a816d4eb0a1be9ac3f467
tree603c4ac10e3567af3f6507090946987e387447dc
parentc5f541d513fe37747443aa23176611175f0cd440
git rid of piontless file endings; better docs
gencsr [moved from gencsr.sh with 75% similarity]