diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index e919c0b8ba..7dc954a6a7 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -791,6 +791,8 @@ begin_credits("Credits"); begin_section("ZVision"); add_person("Adrian Astley", "RichieSams", ""); + add_person("Filippos Karapetis", "[md5]", ""); + add_person("Anton Yarcev", "Zidane", ""); end_section(); end_section(); |