diff --git a/htdocs/devinfo/index.php b/htdocs/devinfo/index.php index 12d343de0..d6d5567d0 100644 --- a/htdocs/devinfo/index.php +++ b/htdocs/devinfo/index.php @@ -78,8 +78,12 @@ the latest sources in a zip or tgz archive from the github website.

$feed->init(); print("\n"); ?>