diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-23 09:42:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 09:42:25 +0200 |
| commit | b51688f6b0865e94171c76219ead64bdba597607 (patch) | |
| tree | bbcc14afb42e9a47fd01553ec33e158910b91b78 /doc/tools | |
| parent | df2eb860a60b3cbcbb030603e18540cfeab01fd1 (diff) | |
| parent | e38b63400cc6f3c7d83c7414c928d85bc82dab59 (diff) | |
Merge pull request #40602 from follower/patch-12
Fix presumed copy/paste error: "Returns" -> "Sets"
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions