the install script now compiles all dune modules and creates an opts file
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
the install script now compiles all dune modules and creates an opts file
Praetorius, Simon
requested to merge
feature/install_amdis_modules
into
master
Dec 28, 2019
Overview
0
Commits
1
Changes
1
Merge request reports
Loading