diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-09-29 19:24:52 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-09-29 19:24:52 +0200 |
| commit | 648e29db2cd8e5b170a90e93c5957b77ce1b0e8e (patch) | |
| tree | 94a22873c1a24a85b1220e79a929d9bcc7651ca9 /build.gradle | |
| parent | 64dbb069abdb360a7b398c64daf022619b070693 (diff) | |
only invoke MTM in interactive mode after direct user input
fixes #1027
fixes #792
fixes #1439
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions