698c3e Add build directories to .gitignore

Authored and Committed by Petr Machata 8 years ago
1 file changed. 1 lines added. 0 lines removed.
    Add build directories to .gitignore
    
        
file modified
+1 -0