diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-08-12 22:53:06 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-08-12 22:53:06 +0100 |
| commit | 279f04cb63e45ceb9a9df82540d5362565b8b37b (patch) | |
| tree | bf71e8d7829e6ccf29320dacaf7c4742423683c5 /.gitignore | |
| download | micro-lang-hs-279f04cb63e45ceb9a9df82540d5362565b8b37b.tar.gz micro-lang-hs-279f04cb63e45ceb9a9df82540d5362565b8b37b.zip | |
Initial import
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..681f07f --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +dist +dist-newstyle +*.o +*.hi +.ghc.environment.* +input + |