diff options
| author | Patric Stout <truebrain@openttd.org> | 2018-04-14 22:14:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-14 22:14:10 +0200 |
| commit | 158eed669afaf0cb84ff045df5b3ecfa65ae18a3 (patch) | |
| tree | dfee68531632e31aab7fb79cd71820e3257ad147 /src | |
| parent | bd18951db1438912fb89a6b41d6cd540e06ab646 (diff) | |
| download | openttd-158eed669afaf0cb84ff045df5b3ecfa65ae18a3.tar.xz | |
Add: [Jenkinsfile] rebase the pull-request on top of master (#6720)
This allows PRs to be a bit older, but still validate the correct result
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions