empty db fix
app download button
Merge branch 'master' of ssh://medien.informatik.uni-ulm.de/mind_server
displayMap improved
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
simplified displayMap
index pic fix
filter for deployment
Merge remote-tracking branch 'origin/master'
admin map location stuff - locations fix
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
button fix
Merge branch 'master' of ssh://medien.informatik.uni-ulm.de/mind_server
pic push
timestamp in wifimorsel
Merge remote-tracking branch 'origin/master'
new device
fixes
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
JsonConverter error message