diff options
author | Josef Adamcik <josef.adamcik@gmail.com> | 2020-05-02 10:03:17 +0200 |
---|---|---|
committer | Josef Adamcik <josef.adamcik@gmail.com> | 2020-05-02 10:03:17 +0200 |
commit | 65c8ac9ac9ad66405eaf65f742bdbdd6a73685c2 (patch) | |
tree | dff3411685995290fa00ab7d0eaf12f5840132e5 /util/travis_test.sh | |
parent | 3d760caa85bfd6988584754ee8987d089ca59aa6 (diff) |
Add more improvements from PR
Diffstat (limited to 'util/travis_test.sh')
0 files changed, 0 insertions, 0 deletions