mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 15:16:22 +00:00
Replaced three dots `...` by a proper ellipsis `…`. Removed plenking (space between `messages` and ellipsis.
Replaced three dots `...` by a proper ellipsis `…`. Removed plenking (space between `messages` and ellipsis.