Databean/warsofcatan — pull request #35 by PickledMonkey (2014-04-20 19:10:11+00:00)
Title: Dev card ui text buttons

Edited display of the development card buttons. Now also displays the current number of development cards the player has.