ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From twogee <...@git.apache.org>
Subject [GitHub] ant pull request #78: A new CharSet type to hold available Charset names
Date Wed, 14 Nov 2018 21:47:57 GMT
Github user twogee closed the pull request at:

    https://github.com/apache/ant/pull/78


---

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org


Mime
View raw message