search

ocamllabs / opamfu

Functions over OPAM Universes
8 stars 4 forks source link

Remove duplicate code #7

Closed Chris00 closed 10 years ago

dsheets commented 10 years ago

Oops. Merge error? Thanks!