This repository has been archived on 2025-05-09. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Jakob Schrettenbrunner 16aaf531d6 switch user delete box to the style from nodes for consistency		2017-03-05 17:25:28 +01:00
..
index.blade.php	retheme admin users list	2017-03-04 00:16:11 +01:00
new.blade.php	make new user and view user consistent	2017-03-04 01:47:39 +01:00
view.blade.php	switch user delete box to the style from nodes for consistency	2017-03-05 17:25:28 +01:00