summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-05-16 11:47:43 +0200
committeraristote <quentin.aristote@irif.fr>2025-05-16 11:50:07 +0200
commit425f689108b5c63c0ec57e70deb67025cb682581 (patch)
tree61bb3f6112922dc4a01249f5c828350080273a75 /.gitignore
parent03dd1c746dd4e5d519814683785cff842d6c9783 (diff)
devenv: pre-commit.hooks -> git-hooks
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions