« Previous | Next » 

Revision 7a07475f

Parent 5183e8be
Child c87440f5

Added by Iustin Pop about 11 years ago

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 <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences