Tue Aug 11 11:49:43 EDT 2009 m.ni...@gmail.com * Avoid excessive nubbing; this also avoids a leak if history isn't forced Ignore-this: 2baae4dec0168b089ae38f71ead80115
M ./src/Yi/History.hs -2 +4
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
yi-devel@googlegroups.com
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
