diff --git a/projects/hwloc/index.php b/projects/hwloc/index.php index cd8fc419c..8c3ec9a56 100644 --- a/projects/hwloc/index.php +++ b/projects/hwloc/index.php @@ -16,6 +16,15 @@