Skip to content

Add --convert option from Hoogle4#376

Open
michaelbjames wants to merge 14 commits into
ndmitchell:masterfrom
michaelbjames:set_source
Open

Add --convert option from Hoogle4#376
michaelbjames wants to merge 14 commits into
ndmitchell:masterfrom
michaelbjames:set_source

the flag is convert, not source

69a6bde
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs