diff --git a/docs/manual/developlist.html b/docs/manual/developlist.html index 487bc1351..cb6007e53 100644 --- a/docs/manual/developlist.html +++ b/docs/manual/developlist.html @@ -12,6 +12,8 @@