Update .gitignore
commit62e739bfc0ec76ce1dba5ee96afb30ed11ae93ce
authorPieter de Bie <pdebie@ai.rug.nl>
Sun, 15 Jun 2008 14:48:01 +0000 (15 16:48 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Sun, 15 Jun 2008 14:48:01 +0000 (15 16:48 +0200)
tree32a643ec9478d6e4a33fa08644eaaad03f487a30
parentf4a81e217c75f53c34c3bc94c6c84b43eac9b7e5
Update .gitignore
.gitignore