diff options
| author | Cyril Cohen | 2021-03-15 11:52:15 +0000 |
|---|---|---|
| committer | Cyril Cohen | 2021-03-15 11:52:15 +0000 |
| commit | d577f5b1209ee1ac1d6a63c42d711bfe0fdade58 (patch) | |
| tree | caf5ffe66682c1e9b5f6fc26bc129065368cf183 | |
| parent | ffaa5544468f967f0bdad3a6cbd4e1ccb0e97bde (diff) | |
update vscoq to 0.3.4
| -rw-r--r-- | .gitpod.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index 59499ad..725060a 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -16,4 +16,4 @@ vscode: - bbenoist.Nix@1.0.1:TbrU16w37jLfkqA6h20vuQ== - gares.coq-elpi-lang@0.0.4:fd+apIChnUwoQhvWFW33KA== - gares.elpi-lang@0.1.1:Hq2+Ku1u3oO5KPtLqtFsIA== - - maximedenes.vscoq@0.3.3:/adqFu9kP5hzZZO35NPV8g== + - maximedenes.vscoq@0.3.4:scKF++aWERyqPMiIz8l02w==
\ No newline at end of file |