diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-20 12:35:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-20 12:35:47 +0100 |
| commit | 91dfac244bfa68982a0752f42b6d4860bf807ade (patch) | |
| tree | 8595eac3416044de96890644680a9897385d236c /COPYRIGHT.txt | |
| parent | 68ddab547b6c67d6102297d83ef71487050e85e0 (diff) | |
| parent | dc980e5f96a1912d1f20ffc28555bec3e0eff420 (diff) | |
Merge pull request #43721 from Xrayez/doctest-no-override
doctest: Do not override command-line options
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions