diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-05-06 10:44:49 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-05-06 10:45:09 +0200 |
| commit | c556a97b27ff7129ecfda20bb73480239f3cd146 (patch) | |
| tree | b40f3999e7cfb19f645318488fc525e66b2dfa0e /tools | |
| parent | 78a616eab02ef6397e65873e378982f21ae7b0ab (diff) | |
Variant: readd String.ends_with and Dict.has_all
Erroneously removed in cfd3efd09785301eed733abe9e46fd89da3ad114.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions