diff options
| author | jvoisin | 2019-09-01 13:07:56 +0200 |
|---|---|---|
| committer | jvoisin | 2019-09-01 13:52:02 +0200 |
| commit | 0170f0e37ec9fefd1ac2829a070b76b91c999b92 (patch) | |
| tree | 688d92920c7aa1d27d54c326fe1e302dd85b3389 /utils/ci | |
| parent | 0cf0541ad9c2f40aa987cb34be34bc33b7341232 (diff) | |
Improve a bit the comments in the code
This is related to the previous commit
Diffstat (limited to 'utils/ci')
0 files changed, 0 insertions, 0 deletions