diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-12-16 01:02:08 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
commit | 571448ca604065a6e6bfe7e6423b8ae6789b4dd9 (patch) | |
tree | df59ef3ea82b55e1069e0d7c13dd748a7bdc8be3 /tests/exeintlib/Setup.hs | |
parent | 842de542f71616b6d828ea2f993f227e59f1ebc5 (diff) |
Add helper compilation time to debug output
Diffstat (limited to 'tests/exeintlib/Setup.hs')
0 files changed, 0 insertions, 0 deletions