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: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: b98ee38ebc2a
Choose a base ref
...
head repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 615d8c3c80ad
Choose a head ref
  • 2 commits
  • 3 files changed
  • 1 contributor

Commits on Oct 13, 2019

  1. Typos.

    pleroy committed Oct 13, 2019
    Copy the full SHA
    50632f2 View commit details
  2. Merge pull request #2356 from pleroy/Eggrobin

    Fix some usernames
    pleroy authored Oct 13, 2019

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    615d8c3 View commit details
Loading