diff --git a/htdocs/devinfo/index.php b/htdocs/devinfo/index.php index c9000fae5..04754b447 100644 --- a/htdocs/devinfo/index.php +++ b/htdocs/devinfo/index.php @@ -112,7 +112,7 @@ the latest sources in a zip or tgz archive from the github website.

Other