diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-08-15T18·40+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-15T18·40+0200 |
commit | 82c4b37c6fb8f32012b6922436ded3c590a69852 (patch) | |
tree | a422283feed750da7a840fea333e381b047ab028 /src | |
parent | f76e85d8f581cc8f71b66386e86ed93c2c3d6992 (diff) | |
parent | 27417c616073de0800514e79d58c84eaa8019099 (diff) |
Merge pull request #1517 from nbp/move-match-doc
Move builtins.match documentation between map and mul.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions