Skip to content

add possibility to disable types in comments#2

Open
zindel wants to merge 2 commits intoesy-ocaml:masterfrom
zindel:master
Open

add possibility to disable types in comments#2
zindel wants to merge 2 commits intoesy-ocaml:masterfrom
zindel:master

Commits

Commits on Sep 23, 2018