diff options
| author | Rangi <35663410+Rangi42@users.noreply.github.com> | 2018-11-11 17:07:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-11 17:07:17 -0500 |
| commit | ffd2b709023d4466c29a228b631db06284e04891 (patch) | |
| tree | d2db5b0200e7a5fe783143e6f2cdbd2fd6a1fca2 /tools/unnamed.py | |
| parent | ab2f46baefda1eac7d2e71929f17525f2a4a5afd (diff) | |
| parent | a469a92c2633665c011e5c540e1cc593544abe11 (diff) | |
Merge pull request #573 from mid-kid/master
text_jump → text_far
Diffstat (limited to 'tools/unnamed.py')
0 files changed, 0 insertions, 0 deletions