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

..

script.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