Closed LippkauFelix closed 1 year ago
unfortunately the figs were not included in my last commit. I added it this time. Furthermore I renamed a file to get rid of capital letters as you proposed.
unfortunately the figs were not included in my last commit. I added it this time. Furthermore I renamed a file to get rid of capital letters as you proposed.