diff agent/src/scripts/start-rmiregistry.sh @ 12017:6222a021d582

Merge
author minqi
date Thu, 08 Aug 2013 20:13:45 -0700
parents c18cbe5936b8
children
line wrap: on
line diff