diff options
| author | Pierre-Marie Pédrot | 2020-04-30 16:10:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:49 +0200 |
| commit | a704c05e4722e9fa994d98a961eee87faa28bc4c (patch) | |
| tree | de71c28e9236594449965af51fa0a1eafe6c8d7e /plugins/syntax | |
| parent | 6839a2c9b7d2480e21572a7d176dcd6ea0617159 (diff) | |
Remove a call to V82.tactic in Btauto.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions