Skip to content

test setup: avoid _specification, ignored by dune#202

Open
nomeata wants to merge 1 commit into
mainfrom
joachim-nmzwslutwmmz
Open

test setup: avoid _specification, ignored by dune#202
nomeata wants to merge 1 commit into
mainfrom
joachim-nmzwslutwmmz