diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-10-20 16:35:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 16:35:04 +0200 |
| commit | 8748247d6f5b65358ae69f5c44f4fdfb70633382 (patch) | |
| tree | 5574d28544337e90e08b8527da6cebe15d9a3e0d /doc/tools | |
| parent | efa3ff6b9587d674cd448aca32abfd31b2c7f4d3 (diff) | |
| parent | 838c9d37b4a2fbceff07e859a52838473e00850e (diff) | |
Merge pull request #53702 from ConteZero/primary_clipboard_linux
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions