diff options
| -rwxr-xr-x | devtools/credits.pl | 1 | ||||
| -rw-r--r-- | gui/credits.h | 1 |
2 files changed, 2 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"); diff --git a/gui/credits.h b/gui/credits.h index dc1174fc77..23c1e90e6d 100644 --- a/gui/credits.h +++ b/gui/credits.h @@ -93,6 +93,7 @@ static const char *credits[] = { "C1""Blade Runner", "C0""Thomas Fach-Pedersen", "C0""Peter Kohaut", +"C0""Thanasis Antoniou", "", "C1""CGE", "A0""Arnaud Boutonne", |