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: 017b4c5faefd
Choose a base ref
...
head repository: mirage/mirage
compare: f3ba5be3e430
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Dec 9, 2016

  1. remove "mir-" prefix from build products. 

    some systems have limited space for naming, and this "mir-" looks strange to me
    @hannesm
    hannesm committed Dec 9, 2016
    Copy the full SHA
    8e6a5bd View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2016

  1. Merge pull request #725 from hannesm/no-mir 

    remove "mir-" prefix from build products.
    @hannesm
    hannesm committed Dec 10, 2016
    Copy the full SHA
    f3ba5be View commit details
    Browse the repository at this point in the history