Download patch
ref: 812936b1875d3bfa9ee9cc4c28e8689862f24dae parent: 600df098f1912e970b2aec594a1d1a649021e417 author: Erik de Castro Lopo <[email protected]> date: Mon Jun 11 17:52:35 EDT 2007
make_src_filter.ml : Looks like it works.