diff options
| author | Guillaume Melquiond | 2014-06-13 16:45:23 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-06-13 16:45:23 +0200 |
| commit | 5682084d1e8fa6e624c022554c976245f8519852 (patch) | |
| tree | 0f75402df09e855462d681278111e5c750dffdc7 /kernel/nativelambda.mli | |
| parent | 8e8b1672843040a8ee1109b2c470477c915d73cc (diff) | |
Remove documentation for the unsupported options -byte and -opt.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions