aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorSimonBoulier2020-01-08 10:20:20 +0100
committerSimonBoulier2020-01-08 10:20:20 +0100
commit9cbd740cd7e8936a9411528fc5dd4d5ddb0d3c1d (patch)
tree514fff0539a5d9aa291fe88889d5e13c21cdba62 /dev/ci
parentbb22f188b46527fb5829562edc946b743b326309 (diff)
Trailing implicit: Maxime's suggestions
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions