konoha-project/minikonoha — pull request #71 by shinpei (2012-08-08 08:59:20+00:00)
Title: operator priority updated

operator priority updated