diff options
| author | Matej Kosik | 2016-08-26 15:44:22 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-26 15:44:22 +0200 |
| commit | f70a374e05bd1235412ee7b76235b47d176ad595 (patch) | |
| tree | c071c04d08032caf67853af6f9c0484481dac9d9 /kernel/nativecode.ml | |
| parent | ab9d2406975aba499d52f559e3303b82ce72d8ca (diff) | |
CLEANUP: removing "Termops.compact_named_context_reverse" function
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions