Skip to content

Quotation style - #588

Closed
Shark64 wants to merge 6 commits into
HoTT:masterfrom
Shark64:quote-style
Closed

Quotation style#588
Shark64 wants to merge 6 commits into
HoTT:masterfrom
Shark64:quote-style

Further test in quotations style, change '.)' to ').'

d976b6e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs