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: mirage/mirage
base: 06c298990e7f
Choose a base ref
...
head repository: mirage/mirage
compare: 0c2bf4daa755
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Mar 6, 2017

  1. don't add mirage-dev remote for docs.mirage.io generation

    @hannesm
    hannesm committed Mar 6, 2017
    Configuration menu
    Copy the full SHA
    d18b184 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2017

  1. Merge pull request #803 from hannesm/doc-no-dev 

    don't add mirage-dev remote for docs.mirage.io generation
    @avsm
    avsm committed Mar 7, 2017
    Configuration menu
    Copy the full SHA
    0c2bf4d View commit details
    Browse the repository at this point in the history