diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index a124314670..48ee47dae3 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -526,6 +526,7 @@ begin_credits("Credits"); begin_section("DreamWeb"); add_person("Vladimir Menshakov", "whoozle", ""); add_person("Torbjörn Andersson", "eriktorbjorn", ""); + add_person("Bertrand Augereau", "Tramb", ""); end_section(); begin_section("Gob"); @@ -709,6 +710,7 @@ begin_credits("Credits"); begin_section("Nintendo DS"); add_person("Neil Millstone", "agent-q", ""); + add_person("Bertrand Augereau", "Tramb", "HQ software scaler"); end_section(); begin_section("OpenPandora"); |