konoha-project/minikonoha — pull request #70 by shinpei (2012-08-08 08:53:40+00:00)
Title: operator priority update

operator priority update