Doug Coleman 7c7bb93c55 factor: Rename GENERIC# to GENERIC#:. ... Fixes #1670.		2017-06-01 13:58:58 -05:00
..
gadgets	factor: Rename GENERIC# to GENERIC#:.	2017-06-01 13:58:58 -05:00
offscreen	Factor source files should not be executable	2009-11-21 17:50:43 -06:00