Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Split file with canonical #11

Merged
merged 7 commits into from
Jul 19, 2024
Merged

Split file with canonical #11

merged 7 commits into from
Jul 19, 2024

Commits on Jul 18, 2024

  1. Revert "Fix tests" 

    This reverts commit c73be2b.
    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    8ede75f View commit details
    Browse the repository at this point in the history

  2. Revert "Uncommit exception" 

    This reverts commit a640a3f.
    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    a3287ca View commit details
    Browse the repository at this point in the history

  3. Revert "Fix links to Sigs module" 

    This reverts commit 24f001d.
    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    7913415 View commit details
    Browse the repository at this point in the history

  4. Revert "copy module instead of include (ocaml/odoc#1162)" 

    This reverts commit 2fcf6e5.
    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    35ee967 View commit details
    Browse the repository at this point in the history

  5. Use canonical tags

    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    96a4c47 View commit details
    Browse the repository at this point in the history

  6. Changelog

    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    126fc02 View commit details
    Browse the repository at this point in the history

  7. Uncommit exn

    @dlesbre
    dlesbre committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    8fe8680 View commit details
    Browse the repository at this point in the history