diff options
| author | Pierre-Marie Pédrot | 2016-02-16 21:17:12 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 01:19:44 +0100 |
| commit | 25f39e54e4e8eaf08865121f06635dc3bd1092da (patch) | |
| tree | 82264308c979e846501e86634f319f7caf10a048 /plugins/decl_mode | |
| parent | 805c8987fbb5fdeb94838bb5a3a7364c0a3d3374 (diff) | |
Allowing generalized rules in typed symbols.
Diffstat (limited to 'plugins/decl_mode')
0 files changed, 0 insertions, 0 deletions