diff options
| author | Maxime Dénès | 2018-12-21 17:50:24 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-22 11:11:31 +0100 |
| commit | b6ac490a583c83096d810c25e89d01fb7d25741f (patch) | |
| tree | 0e4cc666c7b9ddcdb9d52d4886387d7dee6fb01f /plugins | |
| parent | b8da6225e3867408f5d1ad0c716618c4228a1ad2 (diff) | |
VernacDeclareInstances -> VernacExistingInstance
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions