diff options
| author | Yves Bertot | 2018-05-04 17:35:17 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-04 17:35:17 +0200 |
| commit | 6e9ee6b1cd9290951fe1f53bbb28f313aca45712 (patch) | |
| tree | 481bdec086e20806bdd256c4e00e536673f3763b /doc/plugin_tutorial/tuto3 | |
| parent | 3365fb1c5fa3d37f23775e7fb3ee4a2a341bb2ef (diff) | |
adds a comment in simple_print.ml and a plugin declaration in g_tuto1.ml4
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions