
6 Aug
2007
6 Aug
'07
11:15 a.m.
On Saturday 04 August 2007 14:04:15 Andrea Rossato wrote:
Hi,
This is the correct one to apply. The previous one must be discarded.
Sorry for the noise.
Andrea
Sat Aug 4 20:32:52 CEST 2007 Andrea Rossato
* XPrompt.hs: removed defaultPromptConfig. use defautlXPConfig instead Sat Aug 4 20:59:14 CEST 2007 Andrea Rossato
* XPrompt.hs: read history lazily Instead of forcing the reading of all the history file we read it lazily.
Applied, thanks.