diff options
| author | Martin Hořeňovský | 2017-07-29 08:45:52 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2017-07-29 08:45:52 +0200 |
| commit | c5dfa73d56764ae1c3bfb0d644955caa0b1883f9 (patch) | |
| tree | 214cef0c90a53946f84259eada758a5afab4fcb0 /scripts/developBuild.py | |
| parent | d65091fa06b02bac5969e44ca877b3ab0c73734d (diff) | |
| download | catch3-c5dfa73d56764ae1c3bfb0d644955caa0b1883f9.tar.gz | |
Disable build broken by travis changes
It should be reenabled later, but I don't have time to investigate
right now.
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions