diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-08-31 16:00:24 +0200 |
|---|---|---|
| committer |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-03 13:36:05 +0200 |
| commit | 3e5505719ca9689a01f2b5c53e275e80201c64c4 (patch) | |
| tree | 03cdaa3fca8154e6c0f4c5db85851e3409efa7ac /tools | |
| parent | ab1da5bc51c13ab4a474cfaa7ca6dff64996bf79 (diff) | |
Libobject.apply_dyn_fun: remove unused deflt argument
Unused since 8e07227c5853de78eaed4577eefe908fb84507c0.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions