This website works better with JavaScript
Home
Explore
Help
Sign In
Godot
/
godot-docs
mirror of
https://github.com/godotengine/godot-docs.git
Watch
2
Star
0
Fork
0
Files
Issues
0
Wiki
Browse Source
Merge pull request
#5525
from mhilbrunner/move-redirect-tools
Move redirect Python tools to _tools/redirects/
Max Hilbrunner
3 years ago
parent
66cc39c7b1
68358d9ffc
commit
d1020c2d54
3 changed files
with
0 additions
and
0 deletions
Split View
Show Diff Stats
0
0
_tools/redirects/convert_git_renames_to_csv.py
0
0
_tools/redirects/create_redirects.py
0
0
_tools/redirects/requirements.txt
+ 0
- 0
_tools/convert_git_renames_to_csv.py → _tools/redirects/convert_git_renames_to_csv.py
View File
+ 0
- 0
_tools/create_redirects.py → _tools/redirects/create_redirects.py
View File
+ 0
- 0
_tools/requirements.txt → _tools/redirects/requirements.txt
View File