Skip to content

Change mentions of Pervasives to Stdlib#954

Merged
raphael-proust merged 2 commits intoocsigen:masterfrom MisterDA:pervasives-stdlibJun 23, 2022

Commits

Commits on Jun 21, 2022

Commits on Jun 23, 2022