diff options
| author | Maxime Dénès | 2017-10-03 15:27:09 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-03 15:27:09 +0200 |
| commit | 01050348ca54a3ac42da954d85b19c331d0c11db (patch) | |
| tree | 025286c27b970d1f548785640b362b7ced08d0fb /dev/ci/ci-basic-overlay.sh | |
| parent | 3af594bb07b3faf8d766bb1e9b6bead7cb1081d8 (diff) | |
| parent | c0b244260badedf27fe2b66d3c058ad681af4371 (diff) | |
Merge PR #1097: Properly display the "only" prefix for selectors (bug #5760).
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions