twinaphex 66e7606b25 HAVE_RGUI and HAVE_RMENU are now mutually exclusive - no longer
have to be defined both for (say) the Android port
2013-03-09 17:42:19 +01:00
..