Merge branch 'master' of wien.tomnetworks.com:mate
[mate.git] / .gitignore
1 *.hi
2 *.class
3 mate