Skip to content
Permalink

Comparing changes

Choose two branches to see what鈥檚 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
base: 9fb809477d31
Choose a base ref
...
head repository: mockingbirdnest/Principia
compare: ea1c0940e382
Choose a head ref
  • 3 commits
  • 1 file changed
  • 1 contributor

Commits on Mar 20, 2021

  1. Smarter override of version check.

    @pleroy
    pleroy committed Mar 20, 2021
    Configuration menu
    Copy the full SHA
    03f1db8 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2021

  1. After egg's review.

    @pleroy
    pleroy committed Mar 21, 2021
    Configuration menu
    Copy the full SHA
    7eedb9f View commit details
    Browse the repository at this point in the history

  2. Merge pull request #2926 from pleroy/VersionCheck 

    Smarter override of version check
    @pleroy
    pleroy committed Mar 21, 2021
    Configuration menu
    Copy the full SHA
    ea1c094 View commit details
    Browse the repository at this point in the history