Fix the alphabetization fix (bad merge).

This commit is contained in:
R. David Murray 2010-08-01 23:53:40 +00:00
parent 710de57396
commit 58f55d5d42

View file

@ -189,8 +189,8 @@ Arnaud Delobelle
Erik Demaine Erik Demaine
Roger Dev Roger Dev
Raghuram Devarakonda Raghuram Devarakonda
Scott Dial
Catherine Devlin Catherine Devlin
Scott Dial
Toby Dickenson Toby Dickenson
Mark Dickinson Mark Dickinson
Jack Diederich Jack Diederich