Remove some old .gitignore entries
authorIan Lynagh <ian@well-typed.com>
Sun, 28 Oct 2012 19:02:43 +0000 (19:02 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 28 Oct 2012 19:02:43 +0000 (19:02 +0000)
commit1b02de8dd7a2eba0f8e136398e59ee2b9af85102
tree314b423909ea0f72b6d9a99c579523bd40b448a8
parent3a0a3151e1194f2330b2ea52c659bb020d75a78c
Remove some old .gitignore entries

We no longer generate those files
.gitignore