Commit rename
[distgen] / .gitignore
2016-06-21 Raphaël GertzInitial import