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