commit a46fd0cfc3d2586e6157ec081d8d387eccc416d9 parent 2f3c0b6314d0f25f7dc03b471539aebd2dbdc485 Author: Florian Dold <florian.dold@gmail.com> Date: Fri, 3 Jan 2014 23:15:09 +0000 add dold as member Diffstat:
| M | members.txt | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/members.txt b/members.txt @@ -3,3 +3,4 @@ Gabor Toth Bartlomiej Polot <bart@net.in.tum.de> Matthias Wachs <lastname at net in tum de > Sree Harsha Totakura <sreeharsha at lastname .in> +Florian Dold <dold@in.tum.de>