Skip to content
Snippets Groups Projects
Commit 7a07475f authored by Iustin Pop's avatar Iustin Pop
Browse files

Add a default `.ghci' file


This options file for ghci preseeds the correct include paths, so that
interactive sessions don't need to always pass these args.

Signed-off-by: default avatarIustin Pop <iustin@google.com>
Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
parent 5183e8be
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment