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