Skip to content

Allows factoid prefix longer than 1 character#1087

Merged
ajax146 merged 1 commit intomainfrom
AllowLongFactoidPrefix
Jul 22, 2024
Merged

Allows factoid prefix longer than 1 character#1087
ajax146 merged 1 commit intomainfrom
AllowLongFactoidPrefix

Commits

Commits on Jul 21, 2024

Comments