diff --git a/docs/manual/credits.html b/docs/manual/credits.html index 3faa79258..e9bbc8667 100644 --- a/docs/manual/credits.html +++ b/docs/manual/credits.html @@ -19,6 +19,7 @@