giorgia 3afc16bf77 clean search when new user is added ... Signed-off-by: giorgia <g.sambrotta@gmail.com>		2017-03-03 14:47:47 +07:00
..
deleteHandler.js	Fix some jshint errors in settings/users	2016-08-19 10:46:42 +07:00
filter.js	use the main search box to filter users in user management	2015-08-05 17:29:20 +07:00
groups.js	Use the provisioning api in the user management to handle group memberships	2017-01-18 14:35:30 +07:00
users.js	clean search when new user is added	2017-03-03 14:47:47 +07:00