Skip to content

Commit

Permalink
Update CHANGES
Browse files Browse the repository at this point in the history
  • Loading branch information
Julow committed Nov 26, 2024
1 parent a864953 commit 99b0124
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,8 @@ profile. This started with version 0.26.0.
- Added back the flag `--disable-outside-detected-project` (#2439, @gpetiot)
It was removed in version 0.22.

- Support newer Odoc syntax (#2631, @Julow)

### Changed

- \* Consistent formatting of comments (#2371, #2550, @Julow)
Expand Down

0 comments on commit 99b0124

Please sign in to comment.