diff options
author | Torbjørn Smørgrav <smorgrav@users.noreply.github.com> | 2019-08-26 14:29:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-26 14:29:53 +0200 |
commit | ac74b2886b21fda6eb6c447227e3a515560f0624 (patch) | |
tree | 40ccde23f4c0c0e44d041d518a3bc3d5883840a3 /dist | |
parent | 1baf860bedd3b2193799ddd3a4a5b9dc50cb5c6a (diff) | |
parent | 376fb58e5b48b10fd79d93ce4255b95677edb409 (diff) |
Merge pull request #10408 from vespa-engine/jvenstad/never-hide-dev=jobs
Don't hide dev jobs just because there isn't (yet) a dev deployment
Diffstat (limited to 'dist')
0 files changed, 0 insertions, 0 deletions