diff profiles/repo_name @ 459:5c93584e500f

remove outdated jdk
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 28 Jun 2018 02:51:45 +0200
parents 1d5589cb15a6
children
line wrap: on
line diff