Skip to content
This repository was archived by the owner on Feb 26, 2021. It is now read-only.

Commit 64c4916

Browse files
banacornbanacorn
committed
cHANGELOG
1 parent daa307e commit 64c4916

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎CHANGELOG.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
## 0.6.9
2+
* Fix unable to input certain symbols before agda-mode:load
3+
14
## 0.6.8
25
* Fix hole index parsing and display
36
* Fix agda-mode:solve-constraints unable to fill out solutions

0 commit comments

Comments
 (0)