diff options
| author | nicoo <nicoo@debian.org> | 2020-02-12 19:16:46 +0100 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 19:16:46 +0100 |
| commit | 5fef60866c3d598c56e11a0be699787e56a08b50 (patch) | |
| tree | f6bd960f6e2c6a524af995a06e0ecc074c892953 /tools/pin.c | |
| parent | ead7103f3338a8f01d863e594994bc0b40ad4edf (diff) | |
Gitlab CI: Use the pipeline from salsa-ci-team
Diffstat (limited to 'tools/pin.c')
0 files changed, 0 insertions, 0 deletions