diff options
| author | aristote <quentin.aristote@irif.fr> | 2024-05-29 19:28:34 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2024-05-29 19:28:34 +0200 |
| commit | fca12a5ee939aeec1a19c7098587d306b6f94353 (patch) | |
| tree | 39ccdce1b1a3cdf607f2ac546f038e2a05254894 /.gitignore | |
| parent | 153e48111b97d15e784b1ef2ec44c7451905535b (diff) | |
add devenv
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..6849dee --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +### devenv +.devenv/ +.devenv.flake.nix +devenv.local.nix +.pre-commit-config.yaml |