From 33e972cc04ba4d8c9260c81b717b93eb662dd7e8 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Fri, 10 Oct 2025 10:55:37 +0100 Subject: [PATCH] Exclude .devenv directory from .gitignore --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index c56b22a2..9a18f381 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,6 @@ complement # For direnv users /.envrc .direnv/ + +# devenv users +.devenv/