viff

changeset 1575:cfb8e1485006 tip

Updated email address.
author Thomas P Jakobsen <tpj@cs.au.dk>
date Wed Dec 15 13:00:00 2010 +0100 (17 months ago)
parents 0d3b99e1e3eb
children
files doc/authors.txt
line diff
     1.1 --- a/doc/authors.txt	Mon Oct 04 21:51:33 2010 +0200
     1.2 +++ b/doc/authors.txt	Wed Dec 15 13:00:00 2010 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4  * Martin Geisler <mg@daimi.au.dk>
     1.5  * Tomas Toft
     1.6  * Mikkel Krøigård <mk@daimi.au.dk>
     1.7 -* Thomas Pelle Jakobsen <mas@daimi.au.dk>
     1.8 +* Thomas Pelle Jakobsen <tpj@cs.au.dk>
     1.9  * Jakob Illeborg Pagter
    1.10  * Sigurd Meldgaard
    1.11  * Marcel Keller <mkeller@cs.au.dk>