diff options
| author | Gaëtan Gilbert | 2019-06-21 13:55:03 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-24 20:55:38 +0200 |
| commit | 5f190f9e12f42a0ff6b5275c8087852a87aff47b (patch) | |
| tree | 0b49ff38501f8bd75f36fcae6d83b4f4e626f0d8 /doc/plugin_tutorial/tuto1/src | |
| parent | 6bed5c130c6368885967d1fdfd609bc72d708a7d (diff) | |
Use named records instead of tuples where `polymorphic` used to be.
Followup on "[api] Remove `polymorphic` type alias, use labels instead."
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions