diff options
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index deb0f79e8..93bd49edb 100644 --- a/.gitignore +++ b/.gitignore @@ -13,8 +13,6 @@ git-union-merge.1 doc/.ikiwiki html *.tix -*.o -*.hi .hpc dist # Sandboxed builds |