summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 7f2b8f04ee..665aa29a80 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -702,6 +702,7 @@ Krishna Sethuraman <krishna@sgi.com>
Kriton Kyrimis <kyrimis@princeton.edu>
Kurt D. Starsinic <kstar@wolfetech.com>
Kyriakos Georgiou
+Lajos Veres <vlajos@gmail.com>
Larry Parmelee <parmelee@CS.Cornell.EDU>
Larry Schuler
Larry Schwimmer <rosebud@cyclone.Stanford.EDU>