From a498546d6200bdce6027110122d518b15747b3c1 Mon Sep 17 00:00:00 2001
From: jjl
Date: Thu, 14 Oct 2010 17:57:55 +0200
Subject: [PVSGUI] No X required  for --help and --version

---
 TRANSLATION | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'TRANSLATION')

diff --git a/TRANSLATION b/TRANSLATION
index 74a10cb..1d04f06 100644
--- a/TRANSLATION
+++ b/TRANSLATION
@@ -1,4 +1,2 @@
 Javier Castillo <castillf@informatik.uni-freiburg.de>
-Johann Latocha <johann@latocha.de>
-Achille Nana <achille.achille@gmail.com>
-Fadi Salameh <fadi84@hotmail.com>
\ No newline at end of file
+Johann Latocha <johann@latocha.de>
\ No newline at end of file
-- 
cgit v1.2.3-55-g7522