Adding a few more ignored directories
[charm.git] / .gitignore
2010-01-08 Filippo GioachinAdding a few more ignored directories
2009-11-25 Ramprasad VenkataramanAdd rudimentary file ignore patterns