ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From reudismam <...@git.apache.org>
Subject [GitHub] ant pull request #62: Use char notation to represent a character to improve ...
Date Fri, 16 Feb 2018 13:12:07 GMT
GitHub user reudismam opened a pull request:

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

    Use char notation to represent a character to improve performance.

    

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/reudismam/ant character

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/ant/pull/62.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #62
    
----
commit 4df60d6b21f4c85df039037531aa1627fc40b68d
Author: reudismam <reudismam@...>
Date:   2018-02-16T12:49:15Z

    Use char notation to represent a character to improve performance.

----


---

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


Mime
View raw message