diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-07-06 15:55:02 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-07-06 15:55:11 +0200 |
commit | be824984626fde54ea8e64f4ac51872f23c634f6 (patch) | |
tree | f3b6a17526db6246895e75a63de951a0c4ca5eb0 /src/script/interpreter.cpp | |
parent | a5cd829a0b51b69a2e7d5e93f55196f7d67a7462 (diff) | |
parent | bd00fa52a1818f125c32d9759c3ddf506310271a (diff) |
Merge #10743: [test] don't run dbcrash.py on Travis
bd00fa5 [test] don't run dbcrash.py on Travis (John Newbery)
Tree-SHA512: 396c064e4e596c4c1d7d98f13a6e777fe247791debcead2c58a746445eba49d00b44733917b8b80c9ee56ebf75ec179e63581957a5691ceb3a2acab7758d4fc1
Diffstat (limited to 'src/script/interpreter.cpp')
0 files changed, 0 insertions, 0 deletions