Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: leanprover/mdBook Loading
base: v0.4.15l2
Choose a base ref
...
head repository: leanprover/mdBook Loading
compare: master
Choose a head ref
  • 3 commits
  • 2 files changed
  • 1 contributor

Commits on Aug 9, 2022

  1. fix enumeration of nested code blocks

    @lovettchris @Kha
    lovettchris authored and Kha committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    421a843 View commit details
    Browse the repository at this point in the history

  2. fix: rust formatting.

    @lovettchris @Kha
    lovettchris authored and Kha committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    a0d5045 View commit details
    Browse the repository at this point in the history

  3. merge: Workaround rust nightly borrowcheck error from https://github.… 

    …com/rust-lang/mdBook/pull/1861/files
    @lovettchris @Kha
    lovettchris authored and Kha committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    9321c10 View commit details
    Browse the repository at this point in the history
Loading