envrc is environment, rename to default file

2024-09-07 10:35:31 +02:00 · 2024-09-07 10:35:31 +02:00 · e54891e662
commit e54891e662
parent 16e06dd78a
2 changed files with 1 additions and 0 deletions
--- a/.envrc.default
+++ b/.envrc.default
--- a/.gitignore
+++ b/.gitignore
@ -4,3 +4,4 @@ out
 bin
 obj
 .direnv
+.envrc