From 77b2a7e6838e3bb74ed80f94c513f23471ced180 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Mon, 29 Jul 2024 15:04:48 +0200 Subject: [PATCH] 1.0.9 --- package-lock.json | 4 ++-- package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package-lock.json b/package-lock.json index 141f0a1..2d4c68e 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean4monaco", - "version": "1.0.8", + "version": "1.0.9", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "lean4monaco", - "version": "1.0.8", + "version": "1.0.9", "hasInstallScript": true, "dependencies": { "@leanprover/infoview": "=0.7.0", diff --git a/package.json b/package.json index c223b8c..a19f2e9 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "lean4monaco", - "version": "1.0.8", + "version": "1.0.9", "type": "module", "main": "dist/index.js", "files": [