idris-hackers
diff --git a/‎package-lock.json‎
Lines changed: 1 addition & 1 deletion b/‎package-lock.json‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎package.json‎
Lines changed: 1 addition & 1 deletion b/‎package.json‎
Lines changed: 1 addition & 1 deletion
@@ -1,7 +1,7 @@
 {
   "name": "language-idris",
   "main": "./lib/language-idris",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "private": true,
   "description": "A plugin for developing with Idris",
   "repository": "https://github.com/idris-hackers/atom-language-idris",
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "language-idris",`
`3`	`3`	`"main": "./lib/language-idris",`
`4`		`- "version": "0.5.1",`
	`4`	`+ "version": "0.6.0",`
`5`	`5`	`"private": true,`
`6`	`6`	`"description": "A plugin for developing with Idris",`
`7`	`7`	`"repository": "https://github.com/idris-hackers/atom-language-idris",`