diff scripts/run_manager.sh @ 315:f9ec5bead150

come back response. but has bug
author sugi
date Tue, 10 Dec 2013 12:32:43 +0900
parents 287aae21e7d8
children 2a8440684441
line wrap: on
line diff