add an opam file in the source tree
Issue #4
closed
so that people can directly opam pin your git repository
Comments (2)
-
repo owner -
repo owner - changed status to closed
- Log in to comment
Done. Thanks for pointing this out!