From: Lady <redacted>
Date: Tue, 16 Jan 2024 03:20:45 +0000 (-0500)
Subject: Use pipe as internal delimiter instead of colon
X-Git-Tag: 0.3.0~1
X-Git-Url: https://git.ladys.computer/Shushe/commitdiff_plain/63533c3d25fa8837f0d99f8984405320d8c758a6?ds=inline;hp=63533c3d25fa8837f0d99f8984405320d8c758a6

Use pipe as internal delimiter instead of colon

Colons are valid characters in u·r·i’s, whereas pipes are not. Both
characters are forbidden in filenames because they have special meaning
in make·files, so there’s no reason to use the more confusing option.
---