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 #:
Date Mon, 18 Dec 2017 09:57:18 GMT
Github user twogee commented on the pull request:

    https://github.com/apache/ant/commit/6f5db5e0689c0bea88f16f018be875ef9840825b#commitcomment-26338779
  
    Shouldn't we use HTML entities (eg &plusmn;)? Is HTML 3 is a requirement, too? :confused:


---

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


Mime
View raw message