Skip to content

Commit ff75b08

Browse files
committed
Merge branch 'app-engine-api'
2 parents c9a9eb5 + 91fb902 commit ff75b08

File tree

11 files changed

+235
-187
lines changed

11 files changed

+235
-187
lines changed

julia-runtime/.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
use_local_pluto.txt

julia-runtime/Manifest.toml

Lines changed: 0 additions & 32 deletions
This file was deleted.

julia-runtime/Project.toml

Lines changed: 0 additions & 3 deletions
This file was deleted.

julia-runtime/README.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
# To update the Pluto version used by the extension
2+
Edit `PLUTO_BRANCH_NAME` in `extension.ts`
3+
4+
# To run a local install of Pluto
5+
If you want to use you local version of Pluto, then create a file in this folder called
6+
```
7+
use_local_pluto.txt
8+
```
9+
10+
With you favourite emoji inside!
11+
12+
If the file exists, our runner will use your global Julia environment to run Pluto.
13+
14+
15+
16+
> This file is `.gitignore`d, but be sure to test the extension without this file! Remember to update Pluto if you made any necessary changes.

0 commit comments

Comments
 (0)