diff options
Diffstat (limited to 'doc/index.html')
-rw-r--r-- | doc/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index.html b/doc/index.html index afef551..85cab9f 100644 --- a/doc/index.html +++ b/doc/index.html @@ -77,7 +77,7 @@ <ul> <li>Rogan Creswick <br /><a href="mailto:creswick@galois.com">creswick@galois.com</a></li> <li>Trevor Elliott</li> - <li>Ben Jones</li> + <li>Benjamin Jones <br /><a href="mailto:bjones@galois.com">bjones@galois.com</a></li> </ul> </article><!-- /.column --> </div><!-- /.wrap --> |