diff options
| author | Emilio Jesus Gallego Arias | 2019-08-29 15:35:19 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-08-29 17:17:57 +0200 |
| commit | db22177ab61bf516a75bb160d79efbfb97c3c38d (patch) | |
| tree | 7b51e86866de46b8d7a5e58ac07921bb535d232e /doc/plugin_tutorial | |
| parent | 7153cc3a4d886944f9e09a10ea106cefb1e9d0f8 (diff) | |
[funind] Don't export duplicate save function.
It will take a bit more to clean up the mess with entries in the
`indfun` plugin [quite a few PRs in the queue], but thanks to recent
refactoring the tricky parts are self-contained now in `gen_principle`
so we can remove the duplicated `save` function from the public API.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions