Download patch
ref: b307ff8b7de2c5dd113c861cfcc6756c6f269cac parent: 38a561902aa905364152949bf11c8dd5792edee9 author: Erik de Castro Lopo <[email protected]> date: Thu Jun 14 17:45:24 EDT 2007
make_src_filter.ml : Cleanup, add full header to output file.