summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorGeorge Marques <george@gmarqu.es>2016-06-12 14:31:48 -0300
committerGeorge Marques <george@gmarqu.es>2016-06-12 14:53:03 -0300
commitfeb95fa9ace04a3f2eb883e39995b962fde09561 (patch)
tree173f79b22b16c84a34ff69effb7c77a1bfa8b2e6 /tools
parent68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4 (diff)
Add documentation to String.is_subsequence_of{,i}
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions