Forked from
Core Modules / dune-common
4068 commits behind the upstream repository.
.gitignore 490 B
Add missing files, remove ancient buildsystem stuff and stuff where it is unclear where it comes from.
Add missing files, remove ancient buildsystem stuff and stuff where it is unclear where it comes from.