tinkerpop-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From dkupp...@apache.org
Subject [2/2] tinkerpop git commit: Merge branch 'tp32' into tp33
Date Wed, 02 May 2018 16:39:46 GMT
Merge branch 'tp32' into tp33


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

Branch: refs/heads/tp33
Commit: c7ece36ec4b9678f8d7372bf6ac3f3d68e6072a6
Parents: 8275e45 e9ab93a
Author: Daniel Kuppitz <daniel_kuppitz@hotmail.com>
Authored: Wed May 2 09:39:13 2018 -0700
Committer: Daniel Kuppitz <daniel_kuppitz@hotmail.com>
Committed: Wed May 2 09:39:13 2018 -0700

----------------------------------------------------------------------
 bin/validate-distribution.sh | 26 +++++++++++++++++++++-----
 1 file changed, 21 insertions(+), 5 deletions(-)
----------------------------------------------------------------------



Mime
View raw message