rabuzarus a9b3696560 Bugfix: bulk deletion button was not available anymore		2017-04-07 11:35:45 +02:00
..
event_edit.js
filebrowser.js
hovercard.js
mod_display.js
mod_events.js
modal.js
textedit.js
theme.js	Bugfix: bulk deletion button was not available anymore	2017-04-07 11:35:45 +02:00