diff options
| author | Pierre-Marie Pédrot | 2019-05-03 01:05:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-11 12:43:22 +0200 |
| commit | 076932d4bf602560b24c14dc3397e51db5114244 (patch) | |
| tree | c5dc462b5f6f383c950c7c1e229a708b8eab1b39 /doc/plugin_tutorial/tuto2/src | |
| parent | ec6c11c67a01122f52f615691f120bde9da9a61e (diff) | |
Actually use the conversion locality flag.
Fixes #9919.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src')
0 files changed, 0 insertions, 0 deletions