diff options
| author | Théo Zimmermann | 2020-04-03 12:49:56 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 15:40:46 +0200 |
| commit | 8869750cc8aa55011e40557174b6b514e577476c (patch) | |
| tree | 4bdf6f8a45177ed44bce81373f29f510cf18b96a /doc/plugin_tutorial | |
| parent | acefe58cd39c9a4efee632f7f92f56fb4d5285bb (diff) | |
Extract section on sections from Gallina extensions.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions