diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/credits.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index de5d9d105e..e33d3d1ec6 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -967,6 +967,10 @@ begin_credits("Credits"); add_person("Willem Jan Palenstijn", "wjp", ""); end_section(); + begin_section("Haiku"); + add_person("Luc Schrijvers", "Begasus", ""); + end_section(); + begin_section("Mac OS X"); add_person("Max Horn", "Fingolfin", "(retired)"); add_person("Oystein Eftevaag", "vinterstum", ""); |