diff options
| -rwxr-xr-x | devtools/credits.pl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 0d1df66262..fcf5602992 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -785,6 +785,12 @@ begin_credits("Credits"); add_person("Joost Peters", "joostp", ""); end_section(); + begin_section("Titanic"); + add_person("David Fioramonti", "dafioram", ""); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("Colin Snover", "", ""); + end_section(); + begin_section("Toltecs"); add_person("Benjamin Haisch", "john_doe", ""); add_person("Filippos Karapetis", "[md5]", ""); |