server/settings/js/users
2016-02-22 09:29:13 +01:00
..
deleteHandler.js Delete last undoable user before user creation 2015-10-07 16:17:38 +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 notification instead of the disruptive popup 2016-02-22 09:29:13 +01:00
users.js Use the notification instead of the disruptive popup 2016-02-22 09:29:13 +01:00