# HG changeset patch # User John W. Eaton # Date 1216129654 14400 # Node ID f728089c9543b46a178a9cb2107d54eaa615e871 # Parent 0487e46da18e8c5b0cd0a083b679da3ad49ffc6d update contributors.in diff -r 0487e46da18e -r f728089c9543 doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Mon Jul 14 17:03:12 2008 -0400 +++ b/doc/interpreter/contributors.in Tue Jul 15 09:47:34 2008 -0400 @@ -175,6 +175,7 @@ Nicol N. Schraudolph Sebastian Schubert Ludwig Schwardt +Thomas L. Scofield Daniel J. Sebald Dmitri A. Sergatskov Baylis Shanks