Merge pull request #10173 from theotherjimmy/exclude-requires
Collect excluded libraries into ignored_dirs
ls
commit 2192a8796ecb2de3e0a34d7a0c30e9de69bf514e
2 parents 0d86248 + 41c1553
@Cruz Monrreal Cruz Monrreal authored on 20 Mar 2019
GitHub committed on 20 Mar 2019
Showing 2 changed files
View
tools/resources/__init__.py
View
tools/test/resources/resource_test.py