diff options
| author | Pierre-Marie Pédrot | 2020-06-08 14:23:58 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-06-19 16:02:25 +0200 |
| commit | 7ac18ed989a884e9d44917c916c7aae016582fe4 (patch) | |
| tree | 7cc4a08cca26f2c67c324c0f810007de449b205d /plugins | |
| parent | f66bd46c551915267a88d1ee2534ba091292882e (diff) | |
Do not export Hints.make_extern.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions