Skip to content

added opam file so that dev repo can be opam pinned directly#4

Closed
UnixJunkie wants to merge 1 commit intoxavierleroy:masterfrom UnixJunkie:add_opam_file
+19

Commits

Commits on Sep 11, 2017