We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents bfdaccc + 0fb35c9 commit 8ae8c8eCopy full SHA for 8ae8c8e
package.json
@@ -1,7 +1,7 @@
1
{
2
"name": "language-idris",
3
"main": "./lib/language-idris",
4
- "version": "0.4.10",
+ "version": "0.5.0",
5
"private": true,
6
"description": "A plugin for developing with Idris",
7
"repository": "https://github.com/idris-hackers/atom-language-idris",
0 commit comments