You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@drat.apache.org by ma...@apache.org on 2018/08/12 04:38:34 UTC

[drat] 01/03: Merge branch 'gsoc-2018' of https://github.com/ahmedifhaam/drat into gsoc18

This is an automated email from the ASF dual-hosted git repository.

mattmann pushed a commit to branch gsoc18
in repository https://gitbox.apache.org/repos/asf/drat.git

commit d0bbd65fd45222e8ece8dd0ebcd33883e7c8adba
Merge: 5c21cd0 b95f4d3
Author: Chris Mattmann <ch...@jpl.nasa.gov>
AuthorDate: Sat Aug 11 21:29:44 2018 -0700

    Merge branch 'gsoc-2018' of https://github.com/ahmedifhaam/drat into gsoc18

 .../src/main/resources/bin/dump_repo_details.py    | 33 ++++++++++++++++++++++
 distribution/src/main/resources/bin/drat           |  5 +++-
 .../src/main/resources/conf/repo.default.txt       |  1 +
 3 files changed, 38 insertions(+), 1 deletion(-)