summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2024-04-12 18:03:11 +0200
committeraristote <quentin.aristote@irif.fr>2024-04-12 18:04:29 +0200
commitb5d680ba1632ca674fa94d0a44dbe64142247140 (patch)
treeb8b1c23fab3e533d6fe1b685322f629512b9e2db /.gitignore
parent83e927fbd485322b609037d8c10a72402fc47013 (diff)
devenv: ignore pre-commit-config.yaml
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index a426481..6849dee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,4 @@
.devenv/
.devenv.flake.nix
devenv.local.nix
-
+.pre-commit-config.yaml