aboutsummaryrefslogtreecommitdiff
path: root/dev/tools/pre-commit
diff options
context:
space:
mode:
authorVincent Laporte2018-12-03 13:18:50 +0000
committerVincent Laporte2019-01-24 14:53:08 +0000
commit736a425208ef526412a961e97e157b44eea050c5 (patch)
tree1b5b61f66886f9c52685ff26a0b0b079243ef58b /dev/tools/pre-commit
parentbb1ad2a59f0c9c6b62a1c70023a9ee31866b9a01 (diff)
[Nix-ci] Fix Unicoq
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions