diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-24 15:18:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-24 15:18:59 +0200 |
commit | 915ac7360a70904a4ee4294fd8b53ce2c757ee95 (patch) | |
tree | b57cc019e03c920a2b6ca007f88bc227f748eecb /core | |
parent | 3e4627ab6f450ae08bfa9a3bd792990d548169b1 (diff) | |
parent | fb6eb21afc0a98b2b1439268abb0facd53222a43 (diff) |
Merge pull request #42066 from dalexeev/output_copy
Improvement for the Copy button in the Output Log
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions