diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-12-11 12:15:17 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-12-11 12:15:17 +0100 |
| commit | ab3a1aed8fcaed3b0988b686b7f4cf7124b07ab2 (patch) | |
| tree | 1a5c10159bbaa668e99fd88b834334dfd1420d6f /kernel/term.mli | |
| parent | 5ad28372f001acbc562e1d095728cdb8a131938c (diff) | |
Remove Set Virtual Machine from doc, since the command itself has been removed.
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions