From: Lady 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=sidebyside;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. ---