diff options
| author | Pierre-Marie Pédrot | 2017-03-16 09:05:04 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | c341a00d916c27b75c79c2fdcce13e969772a990 (patch) | |
| tree | bb7b14457f6e7fce4db9c68a4d8e7d26e1444559 /plugins | |
| parent | 735ab0a7d2f7afaed0695e014034f4b2d6e287c8 (diff) | |
Allow raw terms to contain references to absolute definitions.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions