Skip to content

Fix generation of prefixes yaml for custom prefix maps#70

Merged
hrshdhgd merged 1 commit into
mainfrom
fix-custom-prefix-for-RG
Mar 14, 2023
Merged

Fix generation of prefixes yaml for custom prefix maps#70
hrshdhgd merged 1 commit into
mainfrom
fix-custom-prefix-for-RG

Commits

Commits on Mar 14, 2023