diff options
| author | Ben Sima <ben@bsima.me> | 2021-02-05 22:02:20 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-02-05 22:02:20 -0500 |
| commit | 093ab5b791c07442d819ee295900136e213f4c8e (patch) | |
| tree | 250e0817b0e4aee65086c0ff4dadb55ffc53498a /.ghci | |
| parent | 753cdfe8c18b470da4a4807815d0aaade53f1d16 (diff) | |
Add Log.mark and convert some putTexts into Log.infos
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions