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: 26ebfe8e3edc
Choose a base ref
...
head repository: mirage/mirage
compare: 9acff67c239f
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Mar 14, 2017

  1. docs: also prune git-unix for now until we can carefully re-add 

    This leads to an epic conflict with uuseg, git, cmdliner and the
world explodes.  I just want to rebuild docs.mirage.io and then
re-add the packages in a cmdliner 1.0 world, so disabling git-unix
for now from the docs list.
    @avsm
    avsm committed Mar 14, 2017
    Configuration menu
    Copy the full SHA
    6d95489 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #812 from avsm/prune-the-git-docs 

    docs: also prune git-unix for now until we can carefully re-add
    @avsm
    avsm committed Mar 14, 2017
    Configuration menu
    Copy the full SHA
    9acff67 View commit details
    Browse the repository at this point in the history