diff options
| author | Emilio Jesus Gallego Arias | 2019-03-12 17:27:19 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-27 23:56:18 +0100 |
| commit | 8fd017fee158ed6b37ed26462691ca9a62695a47 (patch) | |
| tree | 2aa2c9cd5548f5577b11cd1b5063e18d063dd504 /dev | |
| parent | c1d31dc8221ce2ae8b490b2cd1f3e50d26326052 (diff) | |
[funind] Try to be more precise with universe contexts in recdef hooks.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions