Skip to content

Allow arbitrary NIF names (e.g. those ending with ! or ?)#505

Closed
KoviRobi wants to merge 2 commits intorusterlium:masterfrom KoviRobi:allow-arbitrary-nif-names

Commits

Commits on Dec 10, 2022

Commits on Dec 12, 2022