Michael Ziminsky (Z) 3232f2b9a1 Java Client: Change hotkey modifier from CTRL+META to ALT+META ...

Windows uses CTRL+META+P already, preventing it from working for the app

2018-10-25 23:04:02 -07:00

..

algorithm

User config in _ext_mpw, global config.json & residence config.

2018-10-15 02:21:30 -04:00

gui

Java Client: Change hotkey modifier from CTRL+META to ALT+META

2018-10-25 23:04:02 -07:00

model

User config in _ext_mpw, global config.json & residence config.

2018-10-15 02:21:30 -04:00

tests

Tweak include paths & add clean support to android libs.

2018-07-03 11:21:48 -04:00