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

Commits on Jan 15, 2020

  1. Last round of warnings.

    pleroy committed Jan 15, 2020
    Copy the full SHA
    f110a14 View commit details

Commits on Jan 16, 2020

  1. Merge pull request #2448 from pleroy/Warnings

    Last round of warning fixes
    pleroy authored Jan 16, 2020
    Copy the full SHA
    5399b91 View commit details
Loading