Commit 2022-02-07 10:11 2331f95d
View on Github →chore: drop rotate_goals
tactic (#185)
Dropping rotate_goals
tactic because it's already available as rotate_left
and rotate_right
chore: drop rotate_goals
tactic (#185)
Dropping rotate_goals
tactic because it's already available as rotate_left
and rotate_right