diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 0b9a5415..871c7574 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -35,6 +35,7 @@ Marius Eriksen <marius.eriksen@gmail.com> Martin Neubauer <m.ne@gmx.net> Mathieu Lonjaret <lejatorn@gmail.com> Mathieu Lonjaret <mathieu.lonjaret@gmail.com> +Michael Stroucken <mxs@cmu.edu> Michael Teichgräber <mt4swm@googlemail.com> Michael Teichgräber <mt@ib.wmipf.de> Nathaniel W Filardo <nwf@cs.jhu.edu> <nwfilardo@gmail.com> |