Jan-Christoph Borchardt 66d00cf782 user management: remove unneeded and erroneous user filter reset function		2014-06-02 12:53:57 +02:00
..
deleteHandler.js	js cleanup	2014-06-02 12:53:56 +02:00
filter.js	add reset button for the filter field	2014-06-02 12:53:57 +02:00
groups.js	stick with current group when the filter is used	2014-06-02 12:53:57 +02:00
users.js	user management: remove unneeded and erroneous user filter reset function	2014-06-02 12:53:57 +02:00