Download patch
ref: 0a8012eb73a3df21c95cb5827f9cfe8c2d36c9ed parent: b307ff8b7de2c5dd113c861cfcc6756c6f269cac author: Erik de Castro Lopo <[email protected]> date: Fri Jun 15 17:42:54 EDT 2007
make_src_filter.ml : Change format of output file.