diff --git a/project/Build.scala b/project/Build.scala index eae35709fde0..c96baabf0c9c 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -1032,7 +1032,7 @@ object Build { settings(commonSettings). settings( EclipseKeys.skipProject := true, - version := "0.1.12-snapshot", // Keep in sync with package.json + version := "0.1.13-snapshot", // Keep in sync with package.json autoScalaLibrary := false, publishArtifact := false, includeFilter in unmanagedSources := NothingFilter | "*.ts" | "**.json", diff --git a/vscode-dotty/package-lock.json b/vscode-dotty/package-lock.json index 283a075a8640..65f388b9ef52 100644 --- a/vscode-dotty/package-lock.json +++ b/vscode-dotty/package-lock.json @@ -1,6 +1,6 @@ { "name": "dotty", - "version": "0.1.12-snapshot", + "version": "0.1.13-snapshot", "lockfileVersion": 1, "requires": true, "dependencies": { diff --git a/vscode-dotty/package.json b/vscode-dotty/package.json index 64f3712375a1..ced7d5bedb1e 100644 --- a/vscode-dotty/package.json +++ b/vscode-dotty/package.json @@ -2,7 +2,7 @@ "name": "dotty", "displayName": "Dotty Language Server", "description": "IDE integration for Dotty, the experimental Scala compiler", - "version": "0.1.12-snapshot", + "version": "0.1.13-snapshot", "license": "BSD-3-Clause", "publisher": "lampepfl", "repository": {