diff options
| author | Théo Zimmermann | 2020-05-16 16:19:59 +0200 |
|---|---|---|
| committer | Jim Fehrle | 2020-05-18 19:39:34 -0700 |
| commit | c1125bda507137c35400808c6de19acfcece0ec7 (patch) | |
| tree | ad6700f3f413dd800ff2df00c19970c3008976a5 /kernel/nativelambda.ml | |
| parent | ae208f062d15773781cb600e9a7b2c44de25caf9 (diff) | |
Use the new gdef alt-text feature in the refman.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions