svenkeidel/gnome-citadel — pull request #14 by svenkeidel (2013-09-19 20:44:08+00:00)
Title: Commands

I refactored the command system and added a mining command. Also I changed some of the functions on levels to lenses like `coordOf` (on which I'm very proud of).