Use the hash to store the path.
[armadillo.git] / .gitignore
1 closure/
2 out/