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 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGINGd844cb58a83c: Merge pull request #1078 from Diapolo/QR-Code
- Branches
- Unknown
- Tags