diff options
| author | Matthieu Sozeau | 2015-07-22 17:40:22 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-07-22 17:40:22 +0200 |
| commit | ca63912f21d0e88d3f4d1a37cc75f091b90bb077 (patch) | |
| tree | 295ffbc5ebc19e098c88da8f7c0441b44871a3f9 /kernel/nativecode.ml | |
| parent | 74d347365d4f6425d056cc8df49bb8f8e29ad098 (diff) | |
Refman: document Show Universes.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions