diff options
author | Maxime Catrice <m.catrice@outlook.com> | 2020-04-25 11:48:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-25 15:18:19 +0530 |
commit | f7dbac464969f6bff8ac1b4a16b57ecf5d95bd2e (patch) | |
tree | 7210506b59a3a58b6156279c654d5f684cafb283 /.github/ci-gradle.properties | |
parent | 73695e2493af46c2375bb7678cb879d33a8aed4f (diff) |
Fix search if external root dir starts with a dot (#743)
Fixes #740
Co-Authored-By: Fabian Henneke <FabianHenneke@users.noreply.github.com>
Diffstat (limited to '.github/ci-gradle.properties')
0 files changed, 0 insertions, 0 deletions