[Dillo-dev] Re: patch: rm unused dw configure.in options]