--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/flax/subs/trap Wed Jul 03 09:37:57 2002 +0000 @@ -0,0 +1,3 @@ +ramp7 : 0.57 +ramp8 : 0.43 +ramp9-stairs : 0.84