Closed clemlesne closed 9 months ago
I have updated the .gitignore files and adopted some of your ideas but I did not merge your PR because I think that we should only ignore relevant extensions, ie. not bloating the .gitignore files with extensions that will likely never occur in respective folders.