diff options
author | Johann Latocha | 2011-03-02 02:08:42 +0100 |
---|---|---|
committer | Johann Latocha | 2011-03-02 02:08:42 +0100 |
commit | 3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796 (patch) | |
tree | 99fdd6aa4c0073e747902486e703e1d738da8369 /AUTHORS | |
parent | fix cmake paths (diff) | |
download | pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.gz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.xz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.zip |
Win32 clean out
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,11 +2,11 @@ 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: +Fabian Schillinger <schillif@informatik.uni-freiburg.de> +Sébastien Braun <sebb@yellowhippy.org> Johann Betz <jbetz@informatik.uni-freiburg.de> Javier Castillo <castillf@informatik.uni-freiburg.de> Achille Nana <achille.achille@gmail.com> |