diff options
| author | Pierre-Marie Pédrot | 2019-01-04 16:32:15 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-01-04 16:32:15 +0100 |
| commit | 3d7eb01d428c9d98b10004f3f4f40b2209232971 (patch) | |
| tree | d75624811f5e0dcce3ca175096cc017bc3c651b4 /doc/plugin_tutorial | |
| parent | 0a5bbf347b5bbcb579f94eb3d0166778cd92cfdb (diff) | |
| parent | 69f11d7d3f95e1281542ec0b792cc5afd3eccf78 (diff) | |
Merge PR #9264: Fix shallow flag in vernac state
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions