Skip to content

Add a test checking that -pp flags are correctly handled#1630

Open
voodoos wants to merge 2 commits intoocaml:mainfrom
voodoos:test-preprocessing
Open

Add a test checking that `-pp` flags are correctly handled#1630
voodoos wants to merge 2 commits intoocaml:mainfrom
voodoos:test-preprocessing

Commits

Commits on Sep 20, 2023