jena-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From nirajpatel <>
Subject [GitHub] jena pull request #470: Rename README to
Date Mon, 17 Sep 2018 17:42:11 GMT
GitHub user nirajpatel opened a pull request:

    Rename README to


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

    $ git pull patch-1

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

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

    This closes #470
commit 5f6fd0cb710420ce17e87c28236bbfa056a485e3
Author: Niraj Patel <nirajpatel@...>
Date:   2018-09-17T17:41:55Z

    Rename README to



View raw message