diff options
| author | larsr | 2020-03-12 18:26:17 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-12 18:26:17 +0100 |
| commit | 306a9dd33cc0f18e86f159c180ecd826f56f24db (patch) | |
| tree | 6cb97bf097ae82a0dfd94fb23f6e9906e024c103 /kernel/indtypes.ml | |
| parent | 3f2bfa50b1063bc981e3edfb8f5c6eaf53253643 (diff) | |
Update doc/sphinx/addendum/extended-pattern-matching.rst
Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com>
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions