vor 13 Jahren · a5d8d0ce37
--- a/AUTHORS
+++ b/AUTHORS
@@ -13,6 +13,7 @@ Stanley Hopcroft
 
															 Matthew Kent
														
 
															 Harper Mann
														
 
															 Benoit Mortier
														
 
															+Sven Nierlein
														
 
															 Nathan Vonnahme
														
 
															 Ton Voon
														
 
															 Holger Weiss
														
--- a/THANKS.in
+++ b/THANKS.in
@@ -236,7 +236,6 @@ Jan Wagner
 
															 Christian Schneemann
														
 
															 Rob Windsor
														
 
															 Hilko Bengen
														
 
															-Sven Nierlein
														
 
															 Erik Wasser
														
 
															 Tilman Koschnick
														
 
															 Olivier 'Babar' Raginel