You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by an...@apache.org on 2018/05/12 16:15:15 UTC

[9/9] jena git commit: JENA-1547: Merge commit 'refs/pull/420/head' of https://github.com/apache/jena

JENA-1547: Merge commit 'refs/pull/420/head' of https://github.com/apache/jena

This closes #420.


Project: http://git-wip-us.apache.org/repos/asf/jena/repo
Commit: http://git-wip-us.apache.org/repos/asf/jena/commit/cf11b2a9
Tree: http://git-wip-us.apache.org/repos/asf/jena/tree/cf11b2a9
Diff: http://git-wip-us.apache.org/repos/asf/jena/diff/cf11b2a9

Branch: refs/heads/master
Commit: cf11b2a9e691f8b9845d51c949e8617b60543fbc
Parents: d8212cc dee610e
Author: Andy Seaborne <an...@apache.org>
Authored: Sat May 12 17:04:57 2018 +0100
Committer: Andy Seaborne <an...@apache.org>
Committed: Sat May 12 17:04:57 2018 +0100

----------------------------------------------------------------------
 jena-db/jena-tdb2/pom.xml                        | 19 +++++++++++++++++++
 .../src/main/java/org/apache/jena/tdb2/TDB2.java |  4 ++--
 .../org/apache/jena/tdb/tdb-properties.xml       |  8 --------
 .../org/apache/jena/tdb2/tdb2-properties.xml     |  8 ++++++++
 4 files changed, 29 insertions(+), 10 deletions(-)
----------------------------------------------------------------------