diff options
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/credits.pl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index d87cc01ce6..ce1d8537a4 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -526,6 +526,11 @@ begin_credits("Credits"); add_person("Eugene Sandulenko", "sev", ""); end_section(); + begin_section("Access"); + add_person("Arnaud Boutonné", "Strangerke", ""); + add_person("Paul Gilbert", "dreammaster", ""); + end_section(); + begin_section("ADL"); add_person("Walter van Niftrik", "waltervn", ""); end_section(); @@ -550,11 +555,6 @@ begin_credits("Credits"); add_person("Ludvig Strigeus", "ludde", "(retired)"); end_section(); - begin_section("Access"); - add_person("Arnaud Boutonné", "Strangerke", ""); - add_person("Paul Gilbert", "dreammaster", ""); - end_section(); - begin_section("Avalanche"); add_person("Peter Bozsó", "uruk", ""); add_person("Arnaud Boutonné", "Strangerke", ""); |