diff options
author | Tom Smeding <tom@tomsmeding.com> | 2021-12-09 21:19:32 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2021-12-09 21:19:32 +0100 |
commit | 8d5debe81041eb0aea1f63c60189aa81a40cebde (patch) | |
tree | d06634af295c79539efc71b873483072ed74f601 /2021/.gitignore | |
parent | 1d02c3d4dd9da29532dcc69af21fc58d21030fc8 (diff) |
9
Diffstat (limited to '2021/.gitignore')
-rw-r--r-- | 2021/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/2021/.gitignore b/2021/.gitignore index ebbfb2e..b0507d5 100644 --- a/2021/.gitignore +++ b/2021/.gitignore @@ -9,6 +9,7 @@ obj/ 7 8 9 +9pre 10 11 12 @@ -25,3 +26,6 @@ obj/ 23 24 25 + +# generated by futhark +9.c |