Cleanup gitignore and old autotool doc
Merge request reports
Activity
Milestone changed to %DUNE 2.5.0
Added 6 commits:
-
88bc45f0...9c2a1491 - 3 commits from branch
master
- ee08ea4a - remove useless .gitignore files
- 204f88c4 - remove useless stamp-vc
- de360731 - make README, INSTALL and COPYING consistent with dune-istl
Toggle commit list-
88bc45f0...9c2a1491 - 3 commits from branch
mentioned in commit a2f97884
Mentioned in commit a2f97884
Please register or sign in to reply