diff --git a/docs/manual/developlist.html b/docs/manual/developlist.html index 370d8df9a..2b77430fa 100644 --- a/docs/manual/developlist.html +++ b/docs/manual/developlist.html @@ -13,7 +13,7 @@