ChabaPointLexer: permit point names to consist of digits only (!87) · Merge requests · apc / SUSofts / Interfaces / Plugins / Chaba Plugin · GitLab

Przemyslaw Lewandowski requested to merge permit_digitsOnly_pointNames into master Jun 13, 2022

See: https://its.cern.ch/jira/browse/SUS-1969

Edited Jun 13, 2022 by Przemyslaw Lewandowski