diff --git a/htdocs/devinfo/index.php b/htdocs/devinfo/index.php index a5dc109e2..1e6c0aced 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