Add gcc since the gcc from our debian machines is newer. (!11) · Merge requests · bob / bob.admin · GitLab

This is an archived project. Repository and other project resources are read-only.

Amir MOHAMMADI requested to merge fix-gcc into master Oct 05, 2016

Fixes bob.measure#18 (closed)