@Findus23 opened this Pull Request on January 24th 2018 Member
@sgiehl commented on February 10th 2018 Member

Until we have a feature to ignore user specified files, guess it's fine to add those files for now.

This Pull Request was closed on February 10th 2018
Powered by GitHub Issue Mirror