Skip to content

Better bootstrap script

Andrii Verbytskyi requested to merge (removed):betterbootstrap into master

Better bootstrap script

Tag @jung.

Includes also Rivet and the missing before GSL. By default uses the master branch.

Merge request reports