Doug Coleman 7c7bb93c55 factor: Rename GENERIC# to GENERIC#:. ... Fixes #1670.		2017-06-01 13:58:58 -05:00
..
public	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
authors.txt	…
dns.factor	factor: Rename GENERIC# to GENERIC#:.	2017-06-01 13:58:58 -05:00