diff options
| author | Kazuhiko Sakaguchi | 2019-12-28 01:56:05 +0900 |
|---|---|---|
| committer | GitHub | 2019-12-28 01:56:05 +0900 |
| commit | 471400e724317963983a0670a4c3437b1dcc61d5 (patch) | |
| tree | afbb1b82a304e327d4b903e006dae155b6f9011b /kernel/nativecode.mli | |
| parent | f5952c10856791b10393c0bfb9dc55277d41a5c7 (diff) | |
Update doc/sphinx/language/gallina-extensions.rst
Co-Authored-By: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions