added .gitignore converted from svn:ignore
[LeanCalc.git] / .gitignore
1 /build