pik-piam/mredgebuildings

irrelevant files in .gitignore

Opened this issue · 0 comments

robinhasse commented

Some ignored files are irrelevant for all users and should be removed from .gitignore.