# HG changeset patch # User Rik # Date 1392499293 28800 # Node ID d6736ea0251a612e73d7f8a7658f75afed9908da # Parent 2d0afa04d10354a0e0b66ac421032518d1b48022 doc: Add new contributors to contributors.in file. * contributors.in: Add new contributors to list. diff -r 2d0afa04d103 -r d6736ea0251a doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Sat Feb 15 14:14:10 2014 +0100 +++ b/doc/interpreter/contributors.in Sat Feb 15 13:21:33 2014 -0800 @@ -14,6 +14,7 @@ Heinz Bauschke Julien Bect Roman Belov +Markus Bergholz Karl Berry David Billinghurst Don Bindner @@ -86,6 +87,7 @@ Tomislav Goles Keith Goodman Brian Gough +Michael C. Grant Steffen Groot Etienne Grossmann David Grundberg @@ -208,6 +210,7 @@ Michael O'Brien Peter O'Gorman Thorsten Ohl +Kai T. Ohlhus Arno Onken Valentin Ortega-Clavero Luis F. Ortiz @@ -263,6 +266,7 @@ Julian Schnidder Nicol N. Schraudolph Sebastian Schubert +Lasse Schuirmann Ludwig Schwardt Thomas L. Scofield Daniel J. Sebald @@ -279,6 +283,7 @@ Joerg Specht Quentin H. Spencer Christoph Spiel +David Spies Richard Stallman Russell Standish Brett Stewart @@ -322,6 +327,7 @@ Martin Weiser Michael Weitzel David Wells +Joachim Wiesemann Fook Fah Yap Sean Young Michael Zeising