viperproject
diff --git a/‎client/package-lock.json‎
Lines changed: 2 additions & 2 deletions b/‎client/package-lock.json‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎client/package.json‎
Lines changed: 1 addition & 1 deletion b/‎client/package.json‎
Lines changed: 1 addition & 1 deletion
@@ -1,7 +1,7 @@
 {
   "name": "gobra-ide",
   "displayName": "Gobra IDE",
-  "version": "1.1.1",
+  "version": "2.0.0",
   "publisher": "viper-admin",
   "description": "This extension provides interactive IDE features for verifying programs in Gobra.",
   "author": {
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "gobra-ide",`
`3`	`3`	`"displayName": "Gobra IDE",`
`4`		`- "version": "1.1.1",`
	`4`	`+ "version": "2.0.0",`
`5`	`5`	`"publisher": "viper-admin",`
`6`	`6`	`"description": "This extension provides interactive IDE features for verifying programs in Gobra.",`
`7`	`7`	`"author": {`