diff options
| author | Yves Bertot | 2018-05-17 21:49:16 +0200 |
|---|---|---|
| committer | GitHub | 2018-05-17 21:49:16 +0200 |
| commit | 6201b7edc15c050de2034407b37c5eca7391097a (patch) | |
| tree | 6d43f4a078e0823970690a7d514f56f4ed88fd3e /doc/plugin_tutorial | |
| parent | f129cf5328771c87b8d2595dccdefdd4da224e2b (diff) | |
| parent | cf6317101ab537f982fa8694be305be41709ae97 (diff) | |
Merge pull request #3 from gares/patch-1
Add some setup instructions
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions