Pipelines · Merge branch 'feature/file_version' into 'master' (c807aaee) · Commits · iwr / dune-gmsh4

Commit c807aaee authored Nov 12, 2020 by

Praetorius, Simon

add file-version utility

See merge request !8

Pipeline #5408 passed with stage in 22 minutes and 37 seconds