diff dev-java/jrockit-jdk-bin/Manifest @ 418:003d791a5f4d

remove version 1.13
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 26 Aug 2016 10:05:54 +0200
parents f00d13ecb343
children
line wrap: on
line diff