Skip to content

Fix waterman/all_supported_builds.sh list

Created by: bartlettroscoe

The supported build is gnu-opt-openmp not gnu-debug-openmp.

Merge request reports