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

Reply via email to