diff --git a/htdocs/devinfo/index.php b/htdocs/devinfo/index.php index d6d5567d0..9f5db3c27 100644 --- a/htdocs/devinfo/index.php +++ b/htdocs/devinfo/index.php @@ -79,11 +79,11 @@ the latest sources in a zip or tgz archive from the github website.

print("\n"); ?>