summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS1
1 files changed, 0 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index f5f2e1e..b298fb3 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -82,5 +82,4 @@ Harald Mueller-Ney
Lars Mueller
Thomas Mingarelli
Andrey Matveyev
-Francois Revol
Stefan Tauner