diff options
| author | Emilio Jesus Gallego Arias | 2020-05-22 03:13:09 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-26 18:28:07 +0200 |
| commit | 09891acd9bfc80c7dc13f5fefb8906ce5d2d4d1d (patch) | |
| tree | c6b41f84f1d72917c6c98da700d05556e32d52e2 /doc/plugin_tutorial/tuto2 | |
| parent | 946c6c7e58a1dfbe57445a0a1508a587193bb7c3 (diff) | |
[declare] Don't expose internal parameter obls
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions