diff options
| -rw-r--r-- | CREDITS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ Additional people who have contributed patches: Darren Reed <darrenr@reed.wattle.id.au> David Kaelbling <drk@sgi.com> Franz Schaefer <schaefer@mond.at> + Gianluca Varenni <varenni@netgroup-serv.polito.it> Graeme Hewson <ghewson@cix.compulink.co.uk> Greg Stark <gsstark@mit.edu> Greg Troxel <gdt@ir.bbn.com> |