Doug Coleman a85ae72783 factor: CHAR: -> char:		2017-06-04 16:00:02 -05:00
..
regexp.factor	factor: CHAR: -> char:	2017-06-04 16:00:02 -05:00