diff options
| author | aristote <quentin.aristote@irif.fr> | 2026-02-04 14:33:40 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2026-02-04 14:33:40 +0100 |
| commit | 3b6b4f620e29df09837e4f7f2899e7ba39ff5b69 (patch) | |
| tree | c08a56bea937c5dd0d05d9edfdd0aef49a9556b9 /.pre-commit-config.yaml | |
| parent | 22d59b8e4e09f8784588686c5adbe922557723f4 (diff) | |
devenv: move inputs away from github
Diffstat (limited to '.pre-commit-config.yaml')
| l--------- | .pre-commit-config.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 99b444a..8b74877 120000 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -1 +1 @@ -/nix/store/7fv24lb46bwi9sawng0x0v3bmjyjpssh-pre-commit-config.json
\ No newline at end of file +/nix/store/40mnafbndlwq299rngwny8w1bxylmxlr-pre-commit-config.json
\ No newline at end of file |