Merge pull request #47 from lemonsqueeze/board_undo
commit8b20634332c7ad93f27937deca9581b4a27da659
authorPetr Baudis <pasky@ucw.cz>
Tue, 12 Jul 2016 15:58:03 +0000 (12 17:58 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Jul 2016 15:58:03 +0000 (12 17:58 +0200)
tree9b9a5650f1dedbe6b2a174c353647edd43002aef
parent4a0ace9f93fd205876b8b7b938b1cbe4b00f7498
parent4acb0e597132af9a42bed48bb3deb541af72fab2
Merge pull request #47 from lemonsqueeze/board_undo

Board undo