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/editor/plugins | |
| parent | 68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4 (diff) | |
Add documentation to String.is_subsequence_of{,i}
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions