Attribute GNU freefont in the credits. Closes #6862.

2014-11-20 18:18:55 +13:00
parent c7d418dfb0
commit 692e4af4aa
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@@ -100,6 +100,9 @@ Also thanks to:
    * Vladimir Komarov (VrKomarov)
    * Wuschel

+Using GNU FreeFont distributed under the GNU GPL
+terms.
+
 Using Simple DirectMedia Layer distributed under
 the terms of the zlib license.