kram
merge
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
pd stuff
admin wifisensor u.a.
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
pd & cookie stuff
Uploadservlet cookie fix
Merge branch 'master' of ssh://medien.informatik.uni-ulm.de/mind_server
Implemented filter
Added icon_delete task.
timer on
location key + indexed
here & there
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
Database dump added
Merge branch 'master' of ssh://medien.informatik.uni-ulm.de/mind_server
here & there
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
stuff