Skip to content

Make sol2ligo module work without iced globally installed#329

Open
machulen wants to merge 1 commit into
pretty-ligofrom
global-iced-fix
Open

Make sol2ligo module work without iced globally installed#329
machulen wants to merge 1 commit into
pretty-ligofrom
global-iced-fix

Commits

Commits on Feb 3, 2021