diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-04-14 17:35:28 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-04-14 17:35:28 +0200 |
| commit | dc3607a25fb3e27cee9d890aed4d7eccf956dfee (patch) | |
| tree | c12400e881cc2661c97086a01861d01409289b41 /aberth/.gitignore | |
| parent | df033174211386ed2c91296ba96a5f92f10df947 (diff) | |
WIP futhark stuffs
Diffstat (limited to 'aberth/.gitignore')
| -rw-r--r-- | aberth/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aberth/.gitignore b/aberth/.gitignore index 60d8b01..66c7e62 100644 --- a/aberth/.gitignore +++ b/aberth/.gitignore @@ -1 +1,2 @@ aberth +lib/ |