make text in about box selectable (fixes #1055)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Apr 12 2012, 18:50 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCd844cb58a83c: Merge pull request #1078 from Diapolo/QR-Code
- Branches
- Unknown
- Tags