Skip to content

Commit af8d10d

Browse files
garesgares
committed
release
1 parent 277a66b commit af8d10d

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

‎CHANGELOG.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
# Change Log
22

3+
## 0.0.5
4+
5+
- Fix minor glitches
6+
37
## 0.0.4
48

59
- Elpi Export <qualid>.

‎package.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"name": "coq-elpi-lang",
33
"displayName": "Coq Elpi lang",
44
"description": "Syntax highlighting for Coq and Elpi",
5-
"version": "0.0.4",
5+
"version": "0.0.5",
66
"publisher": "gares",
77
"license": "MIT",
88
"engines": {

0 commit comments

Comments
 (0)