Skip to content

Fix formatting of custom indexing operators#975

Merged
gpetiot merged 2 commits intoocaml-ppx:masterfrom gpetiot:index-opAug 21, 2019

Commits

Commits on Aug 20, 2019