diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-01 12:06:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-01 12:06:35 +0200 |
| commit | d17eac735cc84abd9afd1e083df1a4e8a2c8e656 (patch) | |
| tree | d006c3a5457edbde9e4f9016b48d0968d70e3ce5 /core/core_builders.py | |
| parent | b62041d1f3b6428974d5be7ad9d378a445d432ac (diff) | |
| parent | d2833d4f4d891b6a0ee32a04f9d32a410b998b93 (diff) | |
Merge pull request #29815 from NilsIrl/plus_file_1
Replace ` + "/" + ` with `String::file_add()`
Diffstat (limited to 'core/core_builders.py')
0 files changed, 0 insertions, 0 deletions