13 Mar
2008
13 Mar
'08
1:58 a.m.
On 3/12/08, John Meacham
Thanks for the patch, but could you resubmit it with the .ghci file in 'utils' as a non-hidden file? I don't like having hidden files in the repo and people can just ln -s it to .ghci if they want it. (that and I, and probably others, already have a customized .ghci in my project directory)
How about utils/recompile.ghci? It is, after all, a .ghci file...