diff options
| -rwxr-xr-x | devtools/credits.pl | 3 | ||||
| -rw-r--r-- | gui/credits.h | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 6199252a79..77f63bf774 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -725,7 +725,8 @@ begin_credits("Credits"); end_section(); begin_section("Maemo"); - add_person("Frantisek Dufka", "fanoush", ""); + add_person("Frantisek Dufka", "fanoush", "(retired)"); + add_person("Tarek Soliman", "tsoliman", ""); end_section(); begin_section("Nintendo 64"); diff --git a/gui/credits.h b/gui/credits.h index ca2c10ca52..47336c4900 100644 --- a/gui/credits.h +++ b/gui/credits.h @@ -262,6 +262,8 @@ static const char *credits[] = { "", "C1""Maemo", "C0""Frantisek Dufka", +"C2""(retired)", +"C0""Tarek Soliman", "", "C1""Nintendo 64", "C0""Fabio Battaglia", |