Update devcontainer.json

BioJulia · Aug 9, 2023 · 3ae67bb · 3ae67bb
1 parent f772b56
commit 3ae67bb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -14,4 +14,5 @@
         }
     },
     "onCreateCommand": "julia --project=docs -e 'using Pkg; Pkg.instantiate(); Pkg.precompile();'"
-}
+}
+