diff options
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/credits.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 744a13aa47..af4049e5a6 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -560,6 +560,11 @@ begin_credits("Credits"); add_person("Benjamin Haisch", "john_doe", ""); end_section(); + begin_section("Blade Runner"); + add_person("Thomas Fach-Pedersen", "madmoose", ""); + add_person("Peter Kohaut", "peterkohaut", ""); + end_section(); + begin_section("CGE"); add_person("Arnaud Boutonné", "Strangerke", ""); add_person("Paul Gilbert", "dreammaster", ""); |