Skip to content

Wrap lines to ~80 chars#392

Open
StanFromIreland wants to merge 1 commit into
OpenLogicProject:masterfrom
StanFromIreland:update-docs
Open

Wrap lines to ~80 chars#392
StanFromIreland wants to merge 1 commit into
OpenLogicProject:masterfrom
StanFromIreland:update-docs

Commits

Commits on Mar 30, 2025