Doug Coleman 7c7bb93c55 factor: Rename GENERIC# to GENERIC#:. ... Fixes #1670.		2017-06-01 13:58:58 -05:00
..
env	factor: Rename GENERIC# to GENERIC#:.	2017-06-01 13:58:58 -05:00
half	…