Allow element ids to start with digits
Description
Description
Details
Details
- Committed
thomasfischer Feb 25 2019, 4:42 PM - Parents
- R462:de2fb8a45734: Formatting code
- Branches
- Unknown
- Tags
Allow element ids to start with digits
Allow element ids to start with digits
Authored by thomasfischer on Feb 25 2019, 4:42 PM.
Tags
None
Subscribers
None