Fix md names
[distgen] / .gitignore
2016-06-21 Raphaël GertzInitial import