Added a python script for changing the file extension of all files in a given directory
1 parent 09423fe commit 94cedcb3217ca6e41a401151acd92ded67a9ef9f
@Federica Lionetto Federica Lionetto authored on 7 Oct 2014
Showing 1 changed file
View
Software/Tools/ChangeExtension.py 0 → 100644