diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-07 10:07:20 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-07 10:07:20 +0100 |
| commit | 422248f11fdb1aa76af72bee67d30ea8d63fa892 (patch) | |
| tree | c7db8ff9eed380581b771d4beb8e74e06b00fbbd /src/ui/android/build.xml | |
| parent | d46682bc292752fdd97c7d76c60eb902a58db1d7 (diff) | |
Move unused `pgf-binary` into its own repository, at:
https://github.com/GrammaticalFramework/pgf-binary
Diffstat (limited to 'src/ui/android/build.xml')
0 files changed, 0 insertions, 0 deletions