Add a command line option to fix folder/file names case under Windows
okcompute opened this issue · comments
Pascal Lalancette commented
This could be a nice feature to make sure that the folder/file name case is ok under Windows. This problem is a common pattern on this platform.