robocode (1.9.2.5-2) unstable; urgency=medium * Declare compliance with Debian Policy 3.9.7. * Vcs-Git: Use https. * Update showJavaDocumentation.patch to use always default-jdk-doc. This will ensure that the menu entry in Robocode will always point to the default Java documentation. -- Markus Koschany <email address hidden> Thu, 18 Feb 2016 15:18:19 +0100