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