From 8db72c61a7eb332a372cb591520ce6d1bf6132e5 Mon Sep 17 00:00:00 2001 From: Yannick Warnier Date: Tue, 9 Jan 2018 23:42:01 +0100 Subject: [PATCH] Fix missing reference in previous history credits --- documentation/credits.html | 1 + 1 file changed, 1 insertion(+) 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)