clarifying when ignoring is not required
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Jun 8 2017, 08:14 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE9f847e585916: Merge pull request #2407 from utkonos/master
- Branches
- Unknown
- Tags