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 e86ea0e854..135d3a809e 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -829,6 +829,12 @@ begin_credits("Credits"); add_person("Tobia Tesan", "t0by", ""); end_section(); + begin_section("Xeen"); + add_person("Paul Gilbert", "dreammaster", ""); + add_person("David Goldsmith", "WizardStan", "(analysis)"); + add_person("Matt Taylor", "", "(analysis)"); + end_section(); + begin_section("Z-Vision"); add_person("Adrian Astley", "RichieSams", ""); add_person("Filippos Karapetis", "[md5]", ""); |