rmboggs/nant — comment on commit da19ebbb0b5b7e8a269d1e457983d40308d7747b
File: .gitignore line 13
By dguder:

I don't think these should be added. to .gitignore since they could be deleted without any sideeffects.