aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorGaëtan Gilbert2021-03-26 15:34:59 +0100
committerGaëtan Gilbert2021-04-14 12:54:38 +0200
commit3efee577b4c92b38a987b40e555fae2c0a2023c4 (patch)
tree182f9cd42fdb9969bab3149f3add552c7455de2e /dev/ci
parent004bf5770bdcdd1b35dd27f683c733505823e741 (diff)
Remove remote counter system
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions