diff options
| author | Pierre-Marie Pédrot | 2019-04-23 18:31:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-04-23 21:37:37 +0200 |
| commit | d54d63adfd9bd399ca5c31d77977c81887a2e4f0 (patch) | |
| tree | 427db545eeffa04be5f3eb44ab666ecdad0775d0 /plugins/syntax | |
| parent | 75c5264aa687480c66a6765d64246b5ebd2c0d54 (diff) | |
Deprecate the *_no_check variants of conversion tactics.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions