From be9c9e59b75a5a341eec0bdb6812ae3e3c4c338b Mon Sep 17 00:00:00 2001
From: Strangerke
Date: Tue, 25 Sep 2012 23:07:43 +0200
Subject: TONY: Add credits for Tony

---
 devtools/credits.pl | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'devtools')

diff --git a/devtools/credits.pl b/devtools/credits.pl
index 7e1985f03d..669b5e420e 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -687,6 +687,12 @@ begin_credits("Credits");
 				add_person("Joost Peters", "joostp", "");
 			end_section();
 
+			begin_section("Tony");
+				add_person("Arnaud Boutonné", "Strangerke", "");
+				add_person("Paul Gilbert", "dreammaster", "");
+				add_person("Alyssa Milburn", "fuzzie", "");
+			end_section();
+
 			begin_section("Toon");
 				add_person("Sylvain Dupont", "SylvainTV", "");
 			end_section();
-- 
cgit v1.2.3