Laurent Destailleur f98d3c5c48 FIX Do not show tooltip if tooltip is empty

2019-08-20 14:08:30 +02:00

..

about.php

…

setup.php

FIX Do not show tooltip if tooltip is empty

2019-08-20 14:08:30 +02:00