Skip to content

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

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

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

Added prefixes to the generated global identifiers of the added code

6d03a2b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs