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 86ba7412fa..73e66c21a7 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1000,6 +1000,7 @@ begin_credits("Credits"); add_person("Edward Rudd", "urkle", "Fixes for playing MP3 versions of MI1/Loom audio"); add_person("Daniel Schepler", "dschepler", "Final MI1 CD music support, initial Ogg Vorbis support"); add_person("André Souza", "luke_br", "SDL-based OpenGL renderer"); + add_person("Tom Frost", "TomFrost", "WebOS port contributions"); end_persons(); end_section(); |