Github user twogee closed the pull request at:
https://github.com/apache/ant/pull/78
---
-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org
Github user twogee commented on a diff in the pull request:
https://github.com/apache/ant/pull/78#discussion_r232795363
--- Diff: src/tests/junit/org/apache/tools/ant/types/CharSetTest.java ---
@@ -0,0 +1,20 @@
+package org.apache.tools.ant.types;
+
+import org.apache.to
Github user bodewig commented on a diff in the pull request:
https://github.com/apache/ant/pull/78#discussion_r232673446
--- Diff: src/tests/junit/org/apache/tools/ant/types/CharSetTest.java ---
@@ -0,0 +1,20 @@
+package org.apache.tools.ant.types;
+
+import org.apache.t
GitHub user twogee opened a pull request:
https://github.com/apache/ant/pull/78
A new CharSet type to hold available Charset names
I believe that might be useful when validating "encoding" (or "charset")
attributes
You can merge this pull request into a Git repository by running: