From 84d0c37cfcb038665bc522223740fd157745e3f7 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Fri, 4 Mar 2022 20:37:23 +0100 Subject: Remove useless push_undo(). --- rules.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/rules.js b/rules.js index d8673d2..3f93b28 100644 --- a/rules.js +++ b/rules.js @@ -14,7 +14,6 @@ // UI: show discard/removed card list in UI // UI: show pool leaders in their own box // UI: show dead leaders as grayed out in own box -// UI: siege marker on top of besieged stack in fortresses // TODO: summary of step losses in log (brief/verbose) // TODO: s/define/declare/ ? @@ -2267,7 +2266,6 @@ states.pick_move = { game.activation.forEach(gen_action_piece); }, piece(p) { - push_undo(); remove_from_array(game.activation, p); goto_move_piece(p); }, -- cgit v1.2.3