Revision 7a07475f
ID | 7a07475f9d855204857c95a89566963d2b44f8fd |
Parent | 5183e8be |
Child | c87440f5 |
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: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted