diff dev-java/ant-bin/Manifest @ 431:4b67abbaacee

add dependency on gmpy
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 03 Dec 2016 06:05:41 +0100
parents ea975b812fa2
children
line wrap: on
line diff