log .gitignore @ 845:b0924ed8b0e1

age author description
Sat, 29 Apr 2023 09:51:03 +0200 Zeger Van de Vannet chore: ignore local .envrc file