diff options
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5b4c0b97..c2897a81 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -4,7 +4,7 @@ ;; ;; Maintainer: Stefan Berghofer ;; -;; Authors: David Aspinall <da@dcs.ed.ac.uk> +;; Authors: David Aspinall <David.Aspinall@ed.ac.uk> ;; Markus Wenzel <wenzelm@in.tum.de> ;; ;; |