fix #1843 by changing 2 GUI shortcuts
Description
Description
Details
Details
- Provenance
Philip Kaufmann <phil.kaufmann@t-online.de> Authored on Sep 21 2012, 17:31 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCe96a8c7d8620: Merge pull request #1793 from Diapolo/fix_signed_unsigned_strprintf
- Branches
- Unknown
- Tags