simple batch files to change the extension of all local files from .texture to .dds, and vice versa. Updated to include a batch file that removes "texture." from all local files, i.e. "*.texture.dds" to ".dds"