Adjust for Docker env

2023-10-09 17:52:35 -04:00
parent 394513b392
commit b1fe2b677d
3 changed files with 107 additions and 168 deletions
@@ -254,3 +254,5 @@ paket-files/

 # Ionide VSCode extension
 .ionide
+
+src/environment.txt