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 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
- rSTAGINGe96a8c7d8620: Merge pull request #1793 from Diapolo/fix_signed_unsigned_strprintf
- Branches
- Unknown
- Tags