diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-31 11:40:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-31 11:40:43 +0000 |
| commit | 8e6dedec7e232f511fa9c066e658c8ca6313259f (patch) | |
| tree | 57b4253e966f082c7bf1e7cde421dd63e8c6ba73 /AUTHORS | |
| parent | d9d42525610e16b38bacde5edf7e92117e7a7ce5 (diff) | |
Add DvO to list
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -18,4 +18,7 @@ Previous Authors: Dilip Sequeira (lego) Patrick Loiseleur (coq) +Assistance also from: + + David von Oheimb (x-symbol) |