Skip to content

change docu image to gcc

Dominik Thoennes requested to merge thoennes/change-docu-image into master

Since the ubuntu image was changed the gcc image is used to build the documentation

Merge request reports