Skip to content

0.2.3
Compare
Choose a tag to compare
@mbarbin mbarbin released this 03 Nov 15:38
· 109 commits to main since this release
0.2.3
aedffbd
This commit was signed with the committer’s verified signature.
mbarbin Mathieu Barbin
GPG key ID: B017253BF8B83DC4
Learn about vigilant mode.

CHANGES:

Changed

  • Migrate Docusaurus config files to TypeScript.

Fixed

  • Fix bopkit -version. There are subtle differences between using
    public_name and (install (section bin)) which I do not understand yet, but
    using the latter disables dune-build-info.
Assets 3
Loading