diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-01 23:57:38 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2019-05-01 23:57:38 +0200 |
commit | 72b0141750f2ca3393fb2b45eb8a4dfc95d9c2b4 (patch) | |
tree | bc096331c6c22a3e0777b9b948ccdab6882814f0 | |
parent | 07591cea5c228b1724ee662477fba6e9e08f2dd9 (diff) |
Add .gitignore
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5ce9e2d --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +.ghc.environment.x86_64-linux-8.6.4 +cabal.project.local +dist-newstyle/ |