Statistics
| Branch: | Tag: | Revision:

root / .ghci @ 57fb6fcb

History | View | Annotate | Download (22 Bytes)

# Date Author Comment
7a07475f 10/25/2012 02:32 pm Iustin Pop

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 <>
Reviewed-by: Michael Hanselmann <>