Johannes Mockenhaupt fee19db501 ConfigBuilder: hide disabled plugins by default.		2017-10-16 22:14:49 +02:00
..
SimpleProfileFragment.java	fix merge conflict	2017-10-07 18:27:20 +02:00
SimpleProfilePlugin.java	ConfigBuilder: hide disabled plugins by default.	2017-10-16 22:14:49 +02:00