diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:37:55 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:37:55 +0000 |
| commit | 47182d4045ba0f9a0e5fe959e7ab21809299b7c9 (patch) | |
| tree | 3879b2a316c527d5b9d515cb0fa8866710445e4d /src/runtime/java/org/grammaticalframework | |
| parent | d3e56a6e7e9e9c280e2c828b78d8e5e67c39206f (diff) | |
minor tweaks in the Android UI
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions
