diff options
| author | Miguel <m.i@gmx.at> | 2019-03-07 22:23:23 +0100 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2019-03-07 22:23:23 +0100 |
| commit | 7862aff2d4190f3f1211de385049b224bbd00c84 (patch) | |
| tree | 1e760ba3e54f313b452bc17d4a0628e4ed5c4219 /Makefile | |
| parent | b74714630a07b05b696733bd533ad0d8569392e1 (diff) | |
change ghc-options and adapt executable name in Dockerfile
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions