giorgia 3afc16bf77 clean search when new user is added ... Signed-off-by: giorgia <g.sambrotta@gmail.com>		2017-03-03 14:47:47 +01: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	Use the provisioning api in the user management to handle group memberships	2017-01-18 14:35:30 +01:00
users.js	clean search when new user is added	2017-03-03 14:47:47 +01:00