diff options
| author | Pierre-Marie Pédrot | 2017-11-02 16:33:13 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-11-02 16:40:57 +0100 |
| commit | 2d0336671971489f217d666afde6537295b8c44a (patch) | |
| tree | 31835815b50cc8f52865c4ba0545ba944531df86 /doc/plugin_tutorial/tuto1/src | |
| parent | 7e7964ddcc41363151d95cddd1a68b3dc70bb070 (diff) | |
Factorizing entries for patterns with type constraints.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions