Remove unused parsing gitignore

CakeML · Dec 30, 2018 · 6669d99 · 6669d99
1 parent a8e4cd8
commit 6669d99
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/compiler/parsing/.gitignore b/compiler/parsing/.gitignore