diff --git a/documentation/credits.html b/documentation/credits.html index 7b0285f449..a0ddc9f6fd 100755 --- a/documentation/credits.html +++ b/documentation/credits.html @@ -112,6 +112,7 @@ Note: this list of credits is relatively discontinued. We now prefer the list of
  • Dokeos (2004-2009)