SoftwareFoundationGroupAtKyotoU/automata — pull request #56 by krtx (2015-01-01 01:29:32+00:00)
Title: Delete User#number.

User#number が使われていなかったので削除しました。