diff options
| author | Gaëtan Gilbert | 2018-04-25 18:08:39 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-05-11 13:41:26 +0200 |
| commit | 864fda19d046428023851ba540b82c5ca24d06a4 (patch) | |
| tree | d77adab5fd7c50c6a5910caa1294e88308b4badc /kernel/nativecode.mli | |
| parent | 9091187bad0e609211060032880e4688e2cafbef (diff) | |
Deprecate most evarutil evdref functions
clear_hyps remain with no alternative
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions