diff options
| author | Pierre-Marie Pédrot | 2019-11-01 12:19:57 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-01 12:22:04 +0100 |
| commit | c5ce7dfe595beaced11646e3aed7e3532a1353f0 (patch) | |
| tree | bb89e15ab7e155918bce7588d593d163f05723ae /kernel/vmvalues.mli | |
| parent | 020cbc9ef9b2d4b22ee6e8490c59f63f87c25a25 (diff) | |
Add warnings regarding the experimental nature of the vos feature in the doc.
Diffstat (limited to 'kernel/vmvalues.mli')
0 files changed, 0 insertions, 0 deletions