diff options
| author | Pierre-Marie Pédrot | 2020-05-02 14:09:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:49 +0200 |
| commit | 87e811844fa980200cd23eea2b51fd525152e134 (patch) | |
| tree | c0f45cb29cb206c7082e92851ef55f149bd4bfd7 /plugins/syntax | |
| parent | fcef4f7d643d40cb652580e507d7bda914e8b9f2 (diff) | |
Export missing tacticals.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions