Skip to content

Allow . in c_names and cxx_names#2036

Merged
rgrinberg merged 2 commits intoocaml:masterfrom rgrinberg:fix-2033Apr 9, 2019

Commits

Commits on Apr 9, 2019