diff options
| author | Pierre-Marie Pédrot | 2019-07-29 13:16:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-07-29 13:16:33 +0200 |
| commit | c7a1972e2ac492cdef8726c236a151c61ec2df96 (patch) | |
| tree | 25d3abde3a4035419fcbf17547d60700b2de44a3 /gramlib | |
| parent | e34fe0ab41143817f8dfd465ba18eaa6039b3c2f (diff) | |
| parent | 6f67b0e5ed3ea31e2a648941027b7b35f07854cd (diff) | |
Merge PR #10581: Remove the tactic wizard, as it has not worked for several years and no one complained (fixes #10580).
Reviewed-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'gramlib')
0 files changed, 0 insertions, 0 deletions