Skip to content

opam: fix lint by filling in synopsis and description#44

Merged
djs55 merged 1 commit intomasterfrom fix-opam-lintFeb 7, 2020

Commits

Commits on Feb 7, 2020