Some improvements
[tooling/letool.git] / .gitignore
2017-12-09 Christoph EggerImprove ignores
2017-12-09 Christoph EggerChange everything