ref: b307ff8b7de2c5dd113c861cfcc6756c6f269cac
parent: 38a561902aa905364152949bf11c8dd5792edee9
author: Erik de Castro Lopo <erikd@mega-nerd.com>
date: Thu Jun 14 17:45:24 EDT 2007
make_src_filter.ml : Cleanup, add full header to output file.