commit 1815ca6c96b783df3819ad267bc5b8feeaa84e4a parent 84ee45712beb20d7fac8e4305bffca7240f91666 Author: Matthias Wachs <wachs@net.in.tum.de> Date: Fri, 27 Dec 2013 20:42:28 +0000 adding me Diffstat:
| M | members.txt | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/members.txt b/members.txt @@ -1,3 +1,4 @@ Christian Grothoff <christian@grothoff.org> Gabor Toth Bartlomiej Polot <bart@net.in.tum.de> +Matthias Wachs <lastname at net in tum de > +\ No newline at end of file