Doug Coleman 7c7bb93c55 factor: Rename GENERIC# to GENERIC#:. ... Fixes #1670.		2017-06-01 13:58:58 -05:00
..
public	…
authors.txt	…
dns.factor	factor: Rename GENERIC# to GENERIC#:.	2017-06-01 13:58:58 -05:00