diff options
| author | aristote <quentin.aristote@irif.fr> | 2024-01-16 14:00:16 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2024-01-16 14:00:16 +0100 |
| commit | 1ea5d81fb9a5a5e38d65b85af042f7da14ff33ba (patch) | |
| tree | fce13ecca364219b108c0cdd86112a0e08d2462b /.gitignore | |
| parent | 0dc8999809ebf4ffa123e036221741d601f23511 (diff) | |
devenv: update
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ ### devenv .devenv/ .devenv.flake.nix +devenv.local.nix |