Andrew Dolgov f81df37c36 wrap plugin list into border container, like prefs (2)		2018-12-04 15:33:20 +03:00
..
feeds.php	normalize various font sizes and families between prefs & main UI	2018-12-04 15:22:22 +03:00
filters.php	normalize various font sizes and families between prefs & main UI	2018-12-04 15:22:22 +03:00
labels.php	Also fix the 'Create label' onclick	2018-12-02 16:15:31 -06:00
prefs.php	wrap plugin list into border container, like prefs (2)	2018-12-04 15:33:20 +03:00
system.php	prefs: Prefs global -> Helpers	2018-12-03 12:46:00 +03:00
users.php	prefs: remove some more stuff from global context (user management, etc)	2018-12-02 16:17:36 +03:00