Fix <rdar://5133816> keepWebHistory is not implemented
[WebKit-https.git] / WebKitTools / mangleme /
2006-04-18 ap Reviewed by Darin.