From 203aead81175e4c5985890b16222131d7befd59b Mon Sep 17 00:00:00 2001
From: Strangerke
Date: Wed, 27 Feb 2013 22:27:48 +0100
Subject: HOPKINS: Update credits

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

(limited to 'devtools')

diff --git a/devtools/credits.pl b/devtools/credits.pl
index 28c3139bfd..03585a5256 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -590,6 +590,11 @@ begin_credits("Credits");
 				add_person("Jordi Vilalta Prat", "jvprat", "");
 			end_section();
 
+			begin_section("Hopkins");
+				add_person("Arnaud Boutonné", "Strangerke", "");
+				add_person("Paul Gilbert", "dreammaster", "");
+			end_section();
+
 			begin_section("Hugo");
 				add_person("Arnaud Boutonné", "Strangerke", "");
 				add_person("Oystein Eftevaag", "vinterstum", "");
-- 
cgit v1.2.3