diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2021-12-13 23:10:23 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2021-12-13 23:10:23 +0100 |
| commit | 026fbe8686417faa3e13e01dfd738631813d6ecb (patch) | |
| tree | fc07fba6ba99fbecd12fa0e2b56b902d6603d290 /2019/.gitignore | |
| parent | a2badabe58116509960ad3406b2126e6d3c500c2 (diff) | |
Remove Futhark type suffix in output of 9
Diffstat (limited to '2019/.gitignore')
0 files changed, 0 insertions, 0 deletions