diff dev-java/ant-bin/Manifest @ 454:175c21f9bfe2

plugins go to a different location now
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 14 Dec 2017 11:12:12 +0100
parents ea975b812fa2
children
line wrap: on
line diff