diff options
| -rw-r--r-- | docs/ProgrammersManual.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 3628aa9..5cfd0ea 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -114,8 +114,9 @@ with another <tt>Value</tt></a> </li> <div class="doc_author"> <p>Written by <a href="mailto:sabre@nondot.org">Chris Lattner</a>, - <a href="mailto:dhurjati@cs.uiuc.edu">Dinakar Dhurjati</a>, and - <a href="mailto:jstanley@cs.uiuc.edu">Joel Stanley</a></p> + <a href="mailto:dhurjati@cs.uiuc.edu">Dinakar Dhurjati</a>, + <a href="mailto:jstanley@cs.uiuc.edu">Joel Stanley</a>, and + <a href="mailto:rspencer@x10sys.com">Reid Spencer</a></p> </div> <!-- *********************************************************************** --> |