Merge commit 'charm/charm' into charm
[charm.git] / .gitignore
2009-12-10 Filippo GioachinMerge commit 'charm/charm' into charm
2009-12-10 Filippo GioachinAdding a few more ignored directories
2009-11-25 Ramprasad VenkataramanAdd rudimentary file ignore patterns