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 /AUTHORS | |
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 'AUTHORS')
-rw-r--r-- | AUTHORS | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -2,19 +2,20 @@ Initial design and first versions: Simon Wittenberg <wittenb@informatik.uni-freiburg.de> Involved team members at the moment: +Fabian Schillinger <schillif@informatik.uni-freiburg.de> +Johann Latocha <johann@latocha.de> +Sébastien Braun <sebb@yellowhippy.org> + +Credits of left team members: Johann Betz <jbetz@informatik.uni-freiburg.de> Javier Castillo <castillf@informatik.uni-freiburg.de> -Johann Latocha <johann@latocha.de> Achille Nana <achille.achille@gmail.com> Simon Rettberg <simon.rettberg@gmail.com> Fadi Salameh <fadi84@hotmail.com> Alexander Hoppe <a.hoppe@gmail.com> Benjamin Lieberwirt <benjamin.lieberwirth@googlemail.com> -Credits of left team members: -- - Project management, supervision: Dirk von Suchodoletz <dvs@openslx.com> Sebastian Schmelzer <sebastian@schmelzer.ws> -Simon Wittenberg <wittenb@informatik.uni-freiburg.de>
\ No newline at end of file +Johann Latocha <johann@latocha.de>
\ No newline at end of file |