[jboss-dev] Header update

Dimitris Andreadis dandread at redhat.com
Fri Nov 14 08:32:13 EST 2008


Thanks Mladen, I'll try them out.
> 
> Here are two little batch scripts I'm using to set the properties
> correctly. You can edit mime types to satisfy the need.
> 
> It'll recurse to all dirs and setup the properties.
> 
> 
> Regards



More information about the jboss-development mailing list