change internal uses of "port" to "dock"
authormegacz <adam@megacz.com>
Thu, 8 Jan 2009 03:12:26 +0000 (19:12 -0800)
committermegacz <adam@megacz.com>
Thu, 8 Jan 2009 03:12:26 +0000 (19:12 -0800)
commite98330b52aadb60c5984ea8aff59faaa695f82a6
tree89647a4c69f3a865780aa2b4e603258e66286d70
parent47f3c1656f79d7e02c99268588aa08537b7748a5
change internal uses of "port" to "dock"
src/edu/berkeley/fleet/interpreter/InterpreterDock.java
src/edu/berkeley/fleet/interpreter/InterpreterShip.java