comparison scripts/run_manager.sh @ 587:4d38c71938f5 dispose

change ConfigrationFinish
author Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
date Sat, 30 Jan 2016 20:31:06 +0900
parents 2a8440684441
children
comparison
equal deleted inserted replaced
586:ba4ec1a593f9 587:4d38c71938f5