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 da97c3690a..83cb4a76bd 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -652,6 +652,10 @@ begin_credits("Credits"); add_person("Vincent Hamm", "yaz0r", "(retired)"); end_section(); + begin_section("Cryomni3D"); + add_person("Philippe Valembois", "lePhilousophe", ""); + end_section(); + begin_section("Draci"); add_person("Denis Kasak", "dkasak13", ""); add_person("Robert Špalek", "spalek", ""); |