diff options
| author | Théo Zimmermann | 2018-08-01 14:09:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-01 14:10:24 +0200 |
| commit | e348f5475a3cb4c7078a4fb8cc9c60c0fd6fff13 (patch) | |
| tree | 0d244be6742bb597f48f9b1e574f493a763736b4 /dev/ci/ci-basic-overlay.sh | |
| parent | 3a726a733a0d4c7ea3db30e71829ca27eab1776a (diff) | |
Update documentation on GitLab CI to reflect recent changes.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions