diff options
author | Juan J. Martinez <jjm@usebox.net> | 2023-05-17 12:34:28 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2023-05-17 12:34:28 +0100 |
commit | 11b7cbc1eed2ecfaa1f6f678b8d0a1282a5fac83 (patch) | |
tree | d879dbe2ffa142b1080c29318c533de833c2335d /.gitignore | |
parent | 47fd22788ba26ea8f0001564168d1f4851b7bf98 (diff) | |
download | space-plat-hs-11b7cbc1eed2ecfaa1f6f678b8d0a1282a5fac83.tar.gz space-plat-hs-11b7cbc1eed2ecfaa1f6f678b8d0a1282a5fac83.zip |
Ignore local helper
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,4 +2,5 @@ /dist-newstyle /cabal.project.local /.ghc.environment.* +/run *~ |