Skip to content

Added prefixes to the generated global identifiers of the added code#570

Merged
sanex3339 merged 1 commit intomasterfrom
global-identifiers-prefixes
Mar 4, 2020
Merged

Added prefixes to the generated global identifiers of the added code#570
sanex3339 merged 1 commit intomasterfrom
global-identifiers-prefixes

Commits

Commits on Mar 4, 2020