diff options
| author | krasimir <krasimir@chalmers.se> | 2017-04-19 13:00:46 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-04-19 13:00:46 +0000 |
| commit | 25e14b253d24a9409ec70758126d8a64f24a691d (patch) | |
| tree | 4d8cb50896fba0edba8894938a5164db6f4452ae /src/runtime/java | |
| parent | 5c93f2fba5eadaa1e516106c08d495c14a0eb647 (diff) | |
now the database with glosses is compiled on the PC by running glosses.hs. On the phone we just extract the database
Diffstat (limited to 'src/runtime/java')
0 files changed, 0 insertions, 0 deletions