Remove redundant parameter in guiHyperText #24
linux.yml
on: push
gcc_7
6m 53s
gcc_14
12m 42s
clang_7
6m 47s
clang_18
8m 17s
clang_11 (PROMETHEUS=1)
3m 19s