diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2016-06-16 23:24:47 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2016-06-16 23:24:47 +0200 |
| commit | dd3db844dd49451f28d044cd1d2fd71430d73686 (patch) | |
| tree | cd76d7ad6efbf2d2e4760695d39cb48bb479a936 /.gitignore | |
Initial
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2c67b73 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.o +*.hi +*.hs[0-9] +main |