diff options
| author | krasimir <krasimir@chalmers.se> | 2015-08-06 11:51:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-08-06 11:51:23 +0000 |
| commit | f6796ced2d7b47a1ec2c770a74db811865719cc8 (patch) | |
| tree | 957179b5315ec14f3a3db95de15d2b1937689f2e /src/ui/android | |
| parent | 7736ba569471de912d60baf217e419a85ed523e8 (diff) | |
bugfix in lookup_morpho in the C runtime
Diffstat (limited to 'src/ui/android')
0 files changed, 0 insertions, 0 deletions