Simon Vieille 4146e9c2a1 fix #12: add an option to hide the opener and the panel when there is no application		2020-04-29 09:03:03 +02:00
..
Admin.php	fix #12: add an option to hide the opener and the panel when there is no application	2020-04-29 09:03:03 +02:00
Section.php	PSR 2 compliance and beautify javascript	2020-04-09 14:16:40 +02:00