diff options
| author | John MacFarlane <[email protected]> | 2022-01-07 11:33:48 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-01-07 11:49:57 -0800 |
| commit | ee1fdc17d9e10d6ad3c45a72b4febb7a99cc04c9 (patch) | |
| tree | fb92eb7853a6e706847e61242a7789df2b2c6edd /.gitignore | |
| parent | 45e2e0d018b01e5a232d0a559dc9832af207ebcb (diff) | |
More gitignore tweaks.
The old system didn't work with projectile.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 81bd5106f..a4252e9db 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,12 @@ -* +/*.* +/build-artifacts* +/dist-newstyle +/dist +/.stack-work +/ctags +/LOG +/TAGS +/bench-* !.circleci/** !.editorconfig !.gitattributes @@ -41,3 +49,9 @@ !trypandoc/** !windows/** *.bkp +*.orig +*.o +*.hi +*.dyn_o +*.dyn_hi +*~ |