diff options
| author | Sven Gothel <[email protected]> | 2019-03-26 22:07:55 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-03-26 22:07:55 +0100 |
| commit | 5de3feb0bd0cefef7c72a989cc77fc99c3b8fbb7 (patch) | |
| tree | 90cde45df0252aea65bed0bcef903965b441d2b6 /.externalToolBuilders | |
| parent | 39ea4790b66d5bad5fa6bb66eda8586ef4c4ca58 (diff) | |
| parent | f24a8b675a0b3d7e73870c46239792a31cf81491 (diff) | |
Merge pull request #33 from diegopl/bug_1300
Use system property to detect Android
Diffstat (limited to '.externalToolBuilders')
0 files changed, 0 insertions, 0 deletions