diff options
| author | Arnaud Spiwack | 2015-01-14 14:44:03 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-01-14 15:00:03 +0100 |
| commit | 529fe7397b78fc4670073ed213667bd781aabc17 (patch) | |
| tree | a3c51ac75e03777a8eaf99ccc3918de4e90fe854 /kernel/nativecode.ml | |
| parent | be8d345969e1d9c1ce2961352d64ef0b523c1a2b (diff) | |
Reference manual: document tryif/then/else.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions