GitLab

I noticed that the capitalization of the folders proxtoolbox/Algorithms and proxtoolbox/ProxOperators was changed to lower case. In principle, this is good, but it causes issues when switching between branches (on windows at least), where I have to manually change the capitalization of these folders. We should aim to stick with one naming across branches, and be consistent