Merge pull request #1770 from qlyoung/random-tools

Browse Source

*: move random tools into tools/

...

This commit is contained in:

Russ White 2018-02-27 08:55:38 -05:00 committed by GitHub

parent 3c5aa3781a 7c557e5b3d

commit b92aee6e7c

No known key found for this signature in database

GPG Key ID: 4AEE18F83AFDEB23

3 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0

git-reindent-branch.py → tools/git-reindent-branch.py

Unescape Escape View File

0

indent.py → tools/indent.py

Unescape Escape View File

0

render_md.py → tools/render_md.py

Unescape Escape View File