treat Android 'menu' button as 'ok' button in requester dialogs
[rocksndiamonds.git] / src / config.h
2014-08-30 Holger Schemelrnd-20070125-1-src
2014-08-30 Holger Schemelrnd-20060819-2-src
2014-08-30 Holger Schemelrnd-20031102-1-src
2014-08-30 Holger Schemelrnd-20020401-3-src