diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-08-19 13:00:05 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-08-19 13:17:48 +0200 |
| commit | 4e5590d148a7f2b517dce18c231b9d4cb0b1d19f (patch) | |
| tree | dd04cecda1525f826f06752102ea2a58754fdbf7 /.gitignore | |
Import of source files
Diffstat (limited to '.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..08ba6e8 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +.ghc.environment.* +dist/ +dist-newstyle/ |