Jens Schuppe 8e871fd51b Merge branch 'dev_16' ... [#16] Allow profiles be copied		2020-01-16 10:41:32 +01:00
..
Profile.php	Merge branch 'dev_16'	2020-01-16 10:41:32 +01:00
Settings.php	Fix code style issues.	2018-10-10 10:22:28 +02:00