Skip to content

Commit 87bcdc7

Browse files
garesgares
committed
close changelog
1 parent e66f2d6 commit 87bcdc7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎Changelog.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Changelog
22

3-
## [2.0.0] - Unreleased
3+
## [2.0.0] - 23/12/2023
44

55
Requires Elpi 1.18.1 and Coq 8.18.
66

0 commit comments

Comments
 (0)