Update ignorefile
commit562ee7c6ddce252668868be28208a155c8f3cd23
authorPieter de Bie <pdebie@ai.rug.nl>
Mon, 17 Nov 2008 12:54:37 +0000 (17 13:54 +0100)
committerPieter de Bie <pdebie@ai.rug.nl>
Mon, 17 Nov 2008 12:54:37 +0000 (17 13:54 +0100)
tree08ddafd9631f129b59b892dea14b52984b95b4a7
parent8dcb8553ed8ab59e97cb49550b6c9b22ef216e5e
Update ignorefile
.gitignore