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: e42cf92045a0
Choose a base ref
...
head repository: mirage/mirage
compare: 469400e88f6f
Choose a head ref
  • 7 commits
  • 9 files changed
  • 2 contributors

Commits on Mar 16, 2015

  1. Update CHANGES

    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    4660b3b View commit details
    Browse the repository at this point in the history

  2. Add opam files for mirage and mirage-types

    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    a6a2a04 View commit details
    Browse the repository at this point in the history

  3. Call opam depext when configuring 

    Fix #373
    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    7cccf70 View commit details
    Browse the repository at this point in the history

  4. Bump version number

    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    a46813f View commit details
    Browse the repository at this point in the history

  5. Update CHANGES

    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    29826ff View commit details
    Browse the repository at this point in the history

  6. Update autogen stuff

    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    0a9e4bb View commit details
    Browse the repository at this point in the history

  7. Merge pull request #378 from samoht/master 

    Call `opam depext`, add opam files
    @samoht
    samoht committed Mar 16, 2015
    Configuration menu
    Copy the full SHA
    469400e View commit details
    Browse the repository at this point in the history