diff scripts/run_manager.sh @ 489:9a7dd7591ddc dispose

bug fix
author sugi
date Tue, 09 Dec 2014 14:25:57 +0900
parents 2a8440684441
children
line wrap: on
line diff