summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorMarius Vollmer <mvo@zagadka.de>2001-07-03 17:40:49 +0000
committerMarius Vollmer <mvo@zagadka.de>2001-07-03 17:40:49 +0000
commite48f36b29f22134e183d89b7b9800906d52fc5da (patch)
tree7670f1e7b1e86d14865204d9c507135ce712d95f /AUTHORS
parente800aa04824ee04aea92fac6cdbb9bd8be7c1360 (diff)
Added Greg Badros' many changes.
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 966ed0f73..c4bccb6a8 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -188,6 +188,7 @@ Many other changes throughout.
Greg Badros:
In the subdirectory doc, changes to:
data-rep.texi
+Many changes throughout.
Neil Jerram:
In the subdirectory ice-9, wrote: