diff options
author | George Marques <george@gmarqu.es> | 2016-06-12 14:31:48 -0300 |
---|---|---|
committer | George Marques <george@gmarqu.es> | 2016-06-12 14:53:03 -0300 |
commit | feb95fa9ace04a3f2eb883e39995b962fde09561 (patch) | |
tree | 173f79b22b16c84a34ff69effb7c77a1bfa8b2e6 /tools | |
parent | 68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4 (diff) |
Add documentation to String.is_subsequence_of{,i}
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions