diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/credits.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index ec6a22e558..59ebb51a07 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -566,6 +566,7 @@ begin_credits("Credits"); begin_section("Blade Runner"); add_person("Thomas Fach-Pedersen", "madmoose", ""); add_person("Peter Kohaut", "peterkohaut", ""); + add_person("Thanasis Antoniou", "Praetorian", ""); end_section(); begin_section("CGE"); |