John Benediktsson 80e1c8e3f2 Eliminate duplicate syntax for stack effects "(" no longer drops and is identical to the old "((", which is now removed.		2011-10-18 13:19:39 -07:00
..
gadgets	Eliminate duplicate syntax for stack effects "(" no longer drops and is identical to the old "((", which is now removed.	2011-10-18 13:19:39 -07:00
offscreen	Factor source files should not be executable	2009-11-21 17:50:43 -06:00