diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2012-09-21 12:59:31 -0700 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2012-09-21 12:59:31 -0700 |
commit | 1da09ab062112c5195e1f8ae8a020f46f42e4ecc (patch) | |
tree | 71f8e92f5ee0138ebb4eca7aa8e63ef1717248a7 /src/makefile.linux-mingw | |
parent | e96a8c7d86203f463c07d7552190b508ce6c011d (diff) | |
parent | da9413d9134a7534369a55422cadc3fdd91ba608 (diff) |
Merge pull request #1845 from Diapolo/fix_1843
fix #1843 by changing 2 GUI shortcuts
Diffstat (limited to 'src/makefile.linux-mingw')
0 files changed, 0 insertions, 0 deletions