diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-20 18:17:58 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-27 19:47:52 +0100 |
| commit | 9243166490e8c939bbf6aa0316e99025b25e6398 (patch) | |
| tree | 391e1d205ee7a378774228404e5a7c00416e2d97 /INSTALL.doc | |
| parent | 6f240e9b15f2b6f6622c811933c4f5ffdf78cceb (diff) | |
[vernac] Adjust `interp` to pass polymorphic in the attributes.
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions