m4dz 56adbb4e1d [docs] remove useless TODO mark		2017-06-12 11:19:31 +02:00
..
deleteHandler.js	Fix some jshint errors in settings/users	2016-08-19 10:46:42 +02:00
filter.js	use the main search box to filter users in user management	2015-08-05 17:29:20 +02:00
groups.js	[docs] remove useless TODO mark	2017-06-12 11:19:31 +02:00
users.js	polish user actions dropdown	2017-05-06 16:22:25 +02:00