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)

No differences found