Petr Mrázek b9fd381eee GH-2268 update the deb package to not depend on latest jre ... * `openjdk-8-jre` is now recommended * the package now depends on `desktop-file-utils` * the desktop icon has been updated to the current one		2018-05-17 23:14:12 +02:00
..
icon.svg	GH-2268 update the deb package to not depend on latest jre	2018-05-17 23:14:12 +02:00
run.sh	GH-2268 update the deb package to not depend on latest jre	2018-05-17 23:14:12 +02:00