]> mj.ucw.cz Git - leo.git/history - .gitignore
Labeller: add_line renamed, add_linelabel/add_arealabel merged
[leo.git] / .gitignore
2014-06-15 Martin MaresAdded .gitignore