diff options
| author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-01-04 10:04:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-04 10:04:58 +0100 |
| commit | a51bf4432797d9db5131a27b0b1136d0541f8587 (patch) | |
| tree | 3897c448428234246867354a75805498bd0b86df /searchcorespi/src | |
| parent | 0f4f90afc161206436679675ecf8d04b8ad896e6 (diff) | |
| parent | cf252c718f29ceb90a96271df7ce55f36f6717c2 (diff) | |
Merge pull request #8009 from vespa-engine/aressem/skip-unstable-repo
Better option for skipping repo than ugly sed hack.
Diffstat (limited to 'searchcorespi/src')
0 files changed, 0 insertions, 0 deletions