Skip to content

add _opam to the default list of ignored directories#259

Merged
gasche merged 1 commit intoocaml:masterfrom
gasche:ignore_opam
Aug 19, 2017
Merged

add _opam to the default list of ignored directories#259
gasche merged 1 commit intoocaml:masterfrom
gasche:ignore_opam

Commits

Commits on Aug 18, 2017