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 /src/antlr | |
parent | 39ea4790b66d5bad5fa6bb66eda8586ef4c4ca58 (diff) | |
parent | f24a8b675a0b3d7e73870c46239792a31cf81491 (diff) |
Merge pull request #33 from diegopl/bug_1300
Use system property to detect Android
Diffstat (limited to 'src/antlr')
0 files changed, 0 insertions, 0 deletions