diff options
| author | Yves Bertot | 2018-05-04 13:31:56 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-04 13:31:56 +0200 |
| commit | dcdb59e6f51b11f9804ea0a9cd9566303df2c2b9 (patch) | |
| tree | fe9bac25f2fea2f8a93944a779878f45545055bb /doc/plugin_tutorial | |
| parent | 2053402c665d6d80d78d1ce4a62b7b7b3090e5ca (diff) | |
follows G. Gilbert's suggestion to have polymorphism following a flag
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions