From 29fe94115de2584bef0df8d60d4f99764e8dfd25 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sat, 21 Jan 2006 20:03:50 +0000 Subject: [PATCH] Update. --- CREDITS | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CREDITS b/CREDITS index 5cd87a26..53e005f7 100644 --- a/CREDITS +++ b/CREDITS @@ -39,7 +39,7 @@ headers) has been fixed. Empire source code has always been freely available, with the intent of it always being freely available, it was just never properly copyrighted or licensed until the first release under the GNU GPL -(4.2.0) It is our goal to keep Empire source free and available at all +(4.2.0). It is our goal to keep Empire source free and available at all times. Also see the "History" info file for a more detailed listing of @@ -104,6 +104,7 @@ Beorn Johnson William S. Kaster Jeremy Kennebel Kevin Klemmick +Ron Koenderink Ron Kuris (rk@unify.com) Nick Lai (lai@cs.ucla.edu) Phil Lapsley @@ -124,6 +125,7 @@ Chuck Musciano (chuck@trantor.harris-atd.com) Dave Nye Kevin O'Connor Jeff Okamoto (okamoto%hpccc@hplabs.hp.com) +Marc Olzheim Julian Onions (jpo@computer-science.nottingham.ac.uk) Jim Ortlieb Dave Pare (mr-frog@smarttouch.com) @@ -151,4 +153,3 @@ Sverker Wiberg Mike Wise John Yockey (johny@verinet.com) Chad Zabel -