diff options
| author | hallgren <hallgren@chalmers.se> | 2016-05-26 13:56:43 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-05-26 13:56:43 +0000 |
| commit | 9f1da17d06e87ae147051cd1f31a63bf6fd887ab (patch) | |
| tree | 7712d3942f19a201837638c873c77f82f6e3c19c /src/ui/android | |
| parent | cfdd9621ff7e28744ac56b51d2eddbe1ea8fa6c4 (diff) | |
PGFService.hs: fix compilation problem when C run-time support is omitted
Diffstat (limited to 'src/ui/android')
0 files changed, 0 insertions, 0 deletions