/tools/git/

• ../
• README
• for-all-touched-files.py
• git-diff-ide.py
• git-utils.sh
• graph.sh
• mass-rename.py
• mass-rename.sh
• mffr.py
• move_source_file.bat
• move_source_file.py
• post-checkout
• post-merge
• update-copyrights.sh