diff options
author | jjl | 2010-10-14 17:57:55 +0200 |
---|---|---|
committer | jjl | 2010-10-14 17:57:55 +0200 |
commit | a498546d6200bdce6027110122d518b15747b3c1 (patch) | |
tree | 33a283bd20661237e605c624fb7aa465997e4d79 /TRANSLATION | |
parent | [PVSMGR] dummies removed (diff) | |
download | pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.gz pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.xz pvs-a498546d6200bdce6027110122d518b15747b3c1.zip |
[PVSGUI] No X required for --help and --version
Diffstat (limited to 'TRANSLATION')
-rw-r--r-- | TRANSLATION | 4 |
1 files changed, 1 insertions, 3 deletions
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 |