diff options
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ Current Authors/Maintainers: David Aspinall <da@dcs.ed.ac.uk> - doc, etc, generic, html, images, isa + doc, etc, generic, html, images, isa, demoisa Markus Wenzel <wenzelm@informatik.tu-muenchen.de> isar Paul Callaghan <P.C.Callaghan@durham.ac.uk> |