Merge pull request #48 from lemonsqueeze/tactics_undo
commit6f267d768e26db312eaff45f84df4c19f06cf1b8
authorPetr Baudis <pasky@ucw.cz>
Tue, 12 Jul 2016 17:48:52 +0000 (12 19:48 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Jul 2016 17:48:52 +0000 (12 19:48 +0200)
treeb509875c9969ca31f698fb97e7bcc3b75ffc7f20
parent8b20634332c7ad93f27937deca9581b4a27da659
parent52ef47d6ca6a71b8b40e68d913db4134c86fc951
Merge pull request #48 from lemonsqueeze/tactics_undo

Tactics undo