diff options
author | Juan J. Martinez <jjm@usebox.net> | 2023-10-16 16:31:08 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2023-10-16 16:31:08 +0100 |
commit | 0d2d0c5d07f4c7ab002759bcabde3be320769042 (patch) | |
tree | fc305ae9713be3087d6af8dc997505d557c82d22 /.gitignore | |
parent | a0f5e5c317a1e9609370f1b073e424bca8933893 (diff) | |
download | space-plat-hs-0d2d0c5d07f4c7ab002759bcabde3be320769042.tar.gz space-plat-hs-0d2d0c5d07f4c7ab002759bcabde3be320769042.zip |
Now 9.4
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,5 +2,5 @@ /dist-newstyle /cabal.project.local /.ghc.environment.* -/run +/local-env *~ |