diff options
author | Sebastian | 2010-05-12 19:42:27 +0200 |
---|---|---|
committer | Sebastian | 2010-05-12 19:42:27 +0200 |
commit | ce3329047d378a14006ce74ec273ac59e3375303 (patch) | |
tree | 782430f270b4c7aca1b35d5b7813518e3797c555 /TRANSLATION | |
download | pvs-ce3329047d378a14006ce74ec273ac59e3375303.tar.gz pvs-ce3329047d378a14006ce74ec273ac59e3375303.tar.xz pvs-ce3329047d378a14006ce74ec273ac59e3375303.zip |
initial import of latest svn version
Diffstat (limited to 'TRANSLATION')
-rw-r--r-- | TRANSLATION | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/TRANSLATION b/TRANSLATION new file mode 100644 index 0000000..74a10cb --- /dev/null +++ b/TRANSLATION @@ -0,0 +1,4 @@ +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 |