diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/get_deps.py (renamed from tools/get_dependencies.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/get_dependencies.py b/tools/get_deps.py index e7d3e0a76..e7d3e0a76 100644 --- a/tools/get_dependencies.py +++ b/tools/get_deps.py |