diff options
| author | Cyril Cohen | 2021-03-15 02:16:09 +0000 |
|---|---|---|
| committer | Cyril Cohen | 2021-03-15 02:16:09 +0000 |
| commit | ffaa5544468f967f0bdad3a6cbd4e1ccb0e97bde (patch) | |
| tree | 8da2718735f01d4699ea9f2ba6227a29c31beef9 /.gitpod.yml | |
| parent | 5bc1b23fff6bbffb0e0885f3e11481c5e8ee762b (diff) | |
changing vscoq version
Diffstat (limited to '.gitpod.yml')
| -rw-r--r-- | .gitpod.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index c4141f8..59499ad 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,3 +1,4 @@ +--- # The Docker image to run your workspace in. Defaults to gitpod/workspace-full image: file: .gitpod.Dockerfile @@ -13,6 +14,6 @@ ports: vscode: extensions: - bbenoist.Nix@1.0.1:TbrU16w37jLfkqA6h20vuQ== - - maximedenes.vscoq@0.3.2:nH2SKs3TvzC87hvAzEEpyg== - gares.coq-elpi-lang@0.0.4:fd+apIChnUwoQhvWFW33KA== - gares.elpi-lang@0.1.1:Hq2+Ku1u3oO5KPtLqtFsIA== + - maximedenes.vscoq@0.3.3:/adqFu9kP5hzZZO35NPV8g== |