diff -r 01a844d292ac -r 00e2916104fe server/src/app/User.php --- a/server/src/app/User.php Mon Jun 15 19:30:32 2015 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,34 +0,0 @@ -