-
Committer:
Arnold D. Robbins
-
Date:
2018-11-24 17:30:55 UTC
-
mto:
(731.15.90)
(1056.1.1)
-
mto:
This revision was merged to the branch mainline in
revision
1025.
-
Revision ID:
git-v1:531cf0ed26f857c2a2d3b13baf70eae72cefe6f7
Allow command line assignment of typed regexps.