diff options
| author | krasimir <krasimir@chalmers.se> | 2015-08-21 11:58:32 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-08-21 11:58:32 +0000 |
| commit | d1b46ece28522845379d4b0eb382e561a1dc221d (patch) | |
| tree | 685d1fccc970a88fbc2d097bb20069c9df78e5d9 /src/runtime/javascript | |
| parent | 026d6a73ad053251082026a83720f5c2c376feff (diff) | |
add a type signature in GF.Interactive2 to make ghc-7.6.3 happy
Diffstat (limited to 'src/runtime/javascript')
0 files changed, 0 insertions, 0 deletions