diff options
| author | Haru <haru@dotalux.com> | 2018-01-10 15:28:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-10 15:28:31 +0100 |
| commit | 0080d1e4e6ca38074e4493ea6b05884d9b358519 (patch) | |
| tree | 43706f9cf606673c50a2739ca84799eb19f94586 /tools/ci/travis.sh | |
| parent | 544447b1fc71f65d09a90b82d67e31119d5e917b (diff) | |
| parent | 58b252b5e34f6077f9b06fe5005b7af98b05940b (diff) | |
| download | hercules-0080d1e4e6ca38074e4493ea6b05884d9b358519.tar.gz hercules-0080d1e4e6ca38074e4493ea6b05884d9b358519.tar.bz2 hercules-0080d1e4e6ca38074e4493ea6b05884d9b358519.tar.xz hercules-0080d1e4e6ca38074e4493ea6b05884d9b358519.zip | |
Merge pull request #1943 from Asheraf/skill_reproduce
Replace the use of skill_reproduce_db with AllowReproduce flag
Diffstat (limited to 'tools/ci/travis.sh')
0 files changed, 0 insertions, 0 deletions