server/settings/js/users
2017-07-05 15:15:25 +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 Merge pull request #5342 from nextcloud/userlist-used-space 2017-07-05 15:15:25 +02:00