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 <chris.a.mattm...@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(-)