remove redundant isInputDock()
authorDavid Crawshaw <david@zentus.com>
Tue, 16 Dec 2008 21:14:23 +0000 (13:14 -0800)
committerDavid Crawshaw <david@zentus.com>
Tue, 16 Dec 2008 21:14:23 +0000 (13:14 -0800)
commitb8c56099f76e87b0a1de609b03e7b6b446a9d9e0
treed6cdf04c84f53dcc60d3897d25f9cbd03e65ce6e
parentebbfdbb803fd44a4a9daaff7987e96c13fcb6a68
remove redundant isInputDock()
src/edu/berkeley/fleet/interpreter/DebugDock.java