Skip to content

Use GNUInstallDirs more consistently #36

Use GNUInstallDirs more consistently

Use GNUInstallDirs more consistently #36

build (ubuntu-22.04, 16, OFF)

succeeded Oct 22, 2024 in 1m 16s