aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorPierre Roux2019-03-22 10:14:31 +0100
committerPierre Roux2019-04-04 23:50:53 +0200
commit6af420bb384af0acf94028fc44ef44fd5a6fd841 (patch)
tree571da116cd02d36200f9c518a79792617dbdf85f /dev/ci
parent80b5007aadd2cf3b5afa74e063c80ebaef9560e1 (diff)
Update CHANGES.md
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions