diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2018-10-19 16:23:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 16:23:16 +0200 |
| commit | 0a62c13fd132a917ea04efe07abc786f50526621 (patch) | |
| tree | 75bdcff25aff7a3e8c1d72a732baba96246af8be /src/server/exec | |
| parent | effa818408c1d79d4615122078a816e329d220d1 (diff) | |
| parent | 8c382b3cb1c7368bfb4fde7309fd34bac9cd471c (diff) | |
Merge pull request #10 from inariksit/master
Add {-# LANGUAGE GADTs -#} to the generated Haskell file
Diffstat (limited to 'src/server/exec')
0 files changed, 0 insertions, 0 deletions