summaryrefslogtreecommitdiff
path: root/.pre-commit-config.yaml
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2026-01-10 12:46:50 +0100
committeraristote <quentin.aristote@irif.fr>2026-01-10 12:46:50 +0100
commitc586ab70139e0a7b382919b641a1141c7a48d029 (patch)
tree17c6ea372d6ca96d8989099b9edb089d86953a37 /.pre-commit-config.yaml
parentc8e75c6579a499280085457a10dc1ef15ef8a6b8 (diff)
devenv: update
Diffstat (limited to '.pre-commit-config.yaml')
l---------.pre-commit-config.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 8ee344e..a17bb64 120000
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -1 +1 @@
-/nix/store/7dghl5bn2g60wl98cpmxyrhjvxsyg1k4-pre-commit-config.json \ No newline at end of file
+/nix/store/a1zx43gdfbisjbqs7729m5mwg3fy1l15-pre-commit-config.json \ No newline at end of file