]> Lady’s Gitweb - Etiquette/commitdiff
Add `::iriSpace` and use it in I·R·I handling
authorLady <redacted>
Mon, 29 May 2023 20:11:45 +0000 (13:11 -0700)
committerLady <redacted>
Wed, 14 Jun 2023 02:08:02 +0000 (19:08 -0700)
This can be recorded as a VoID property and is necessary for converting
I·R·I’s back into their identifiers.


No differences found
This page took 0.017616 seconds and 4 git commands to generate.