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

Fix generation of prefixes yaml for custom prefix maps

a836dee
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs