Morris Jobke 7be031ae6d change group id to _disabledUsers		2017-04-29 00:54:30 -03: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	change group id to _disabledUsers	2017-04-29 00:54:30 -03:00
users.js	change group id to _disabledUsers	2017-04-29 00:54:30 -03:00