Skip to content

Colored messages from C/C++ compiler in C stubs#4083

Merged
rgrinberg merged 2 commits intoocaml:mainfrom MisterDA:coloured-c-stubsDec 16, 2022

Commits

Commits on Dec 16, 2022