Skip to content

PROT-5778: support identifiers that begin with digits - #60

Open
MichaelGHSeg wants to merge 1 commit into
masterfrom
mgh/prot-5778-digit-first-idents
Open

PROT-5778: support identifiers that begin with digits#60
MichaelGHSeg wants to merge 1 commit into
masterfrom
mgh/prot-5778-digit-first-idents

PROT-5778: support identifiers that begin with digits

2c99c66
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar