Philip Munksgaard 457f53b7ee
ignore/types: fix futhark type extension
Previously, the 'fut' type only matches files called '.fut', while in
reality we want to match all files with the '.fut' extension. This
commit fixes that issue.

PR #2027
2021-10-19 09:15:19 -04:00
..
2021-06-12 08:01:22 -04:00
2021-06-12 08:08:32 -04:00
2021-06-12 08:06:29 -04:00
2021-06-12 08:07:46 -04:00