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