diff options
| author | Pierre-Marie Pédrot | 2019-03-25 23:21:47 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-03-25 23:21:47 +0100 |
| commit | b87f1432474bd3ffda6f02eb3ba7edf50114cc23 (patch) | |
| tree | 0dd3b9c46cbb330813ebf34701100d39ba4ac74e /plugins/ltac | |
| parent | fd065eae52dde32bcb95955f6da9280fed780729 (diff) | |
| parent | d12cc91d07bc473276316474cc8f8beb9040934c (diff) | |
Merge PR #8094: Remove `Automatic Coercions Import` option.
Reviewed-by: ppedrot
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions