Skip to content

Add %{toolchain} variable#4899

Merged
rgrinberg merged 1 commit intoocaml:mainfrom rgrinberg:toolchain-varSep 7, 2021

Commits

Commits on Sep 7, 2021