aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2019-12-28 22:27:09 -0400
committerEduardo Julian2019-12-28 22:27:09 -0400
commit84ea12c2960cc7460de81087a6e53bcc6d37a3d6 (patch)
tree2a2b93dad3b4cb44aa641a0197211afb694ff7fc /documentation
parentecb53b05a226d8d3d8e612f949cb3ad6ac0600ce (diff)
Optimized pattern-matching against variants.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions