diff options
| author | Enrico Tassi | 2020-12-14 11:02:27 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-14 11:02:27 +0100 |
| commit | 8817a18edc9185891d48e0da9e214a678fb97b75 (patch) | |
| tree | 649017781221e576f86354fc300f1242066ce4da /doc/plugin_tutorial/tuto1/src | |
| parent | c95058a0f70608c82195f34fef78ac50d517cf8a (diff) | |
[ci] simplify script to pin ci projects
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions