Sun, 08 Sep 2013 14:37:56 -0700 Removed some unused code.
Chris Jones <christian.jones@sri.com> [Sun, 08 Sep 2013 14:37:56 -0700] rev 133
Removed some unused code.
(0) -100 -30 -10 -1 +1 +10 +30 tip