Skip to content

Commit

Permalink
Update changelog.
Browse files Browse the repository at this point in the history
  • Loading branch information
Jack Feser committed Apr 13, 2020
1 parent 7c15b12 commit 32dfdd8
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
## 1.3.1 (2020-04-13)

- Add missing dependencies.
- Add flag to select Odig theme.

## 1.3 (2019-07-25)

- Update to work with latest `odoc`.
Expand Down

0 comments on commit 32dfdd8

Please sign in to comment.