summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 01:15:57 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 01:15:57 +0200
commit7dc7ba510ee944807fa0458fd18f68cff326e1bf (patch)
tree819d89c6c741a7f262929af4379b95a7432f866e /debian/rules
parentc2c01012aa730a2c5c8eee4308dd2124117e5b01 (diff)
Add CI
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions