« Previous | Next » 

Revision 7a07475f

ID7a07475f9d855204857c95a89566963d2b44f8fd
Parent 5183e8be
Child c87440f5

Added by Iustin Pop about 9 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences