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, 25 Jun 2018 12:57:04 GMT
Github user twogee commented on the pull request:

    https://github.com/apache/ant/commit/ca98cc50364f694e1642f84a0c43d0134098ed30#commitcomment-29484065
  
    In manual/credits.html:
    In manual/credits.html on line 49:
    Shouldn't that be grave?


---

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


Mime
View raw message