diff options
author | 2015-02-16 23:22:19 +0000 | |
---|---|---|
committer | 2015-02-16 23:22:19 +0000 | |
commit | 74d8e9849e28f98c85e6265a58eb10884d0a9218 (patch) | |
tree | 5f970e9869481cf9c9f4d41844cdffc47bb57bdc /ghci | |
parent | 9164883dd063ebbb36c0cfab89449b5b7049f0c9 (diff) |
Added a comment: watch out for direct mode
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions