Hi, I am about to correct the 'mess'. If nobody objects, I will simply rename the files in question and commit them. Don't think history is such important for now.
Friedhelm
Hi, I am about to correct the 'mess'. If nobody objects, I will simply rename the files in question and commit them. Don't think history is such important for now.
Friedhelm