Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Fix for tiny API change in OPAM #91

Merged
merged 1 commit into from Mar 3, 2014
Commits on Mar 3, 2014
  1. Fix for tiny API change in OPAM

    AltGr committed Mar 3, 2014
    using functions from opened OpamTypes :/