Delete dead code.
authorMichael Vrable <mvrable@cs.ucsd.edu>
Sun, 17 Oct 2010 23:18:23 +0000 (16:18 -0700)
committerMichael Vrable <mvrable@cs.ucsd.edu>
Sun, 17 Oct 2010 23:18:23 +0000 (16:18 -0700)

No differences found