diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2020-06-30 10:49:59 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2020-06-30 10:49:59 +0200 |
commit | bd672e1f7aefc66e95c4e4a27388a99248358d8c (patch) | |
tree | 684c420c319486be9b0bf05344fbe87dd357b330 /.gitignore | |
parent | 3b1767a3f4fd2f0ff2b03d7daa9307fce115b5ea (diff) |
aberth: Compile with latest futhark
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions