diff options
| author | Rangi <35663410+Rangi42@users.noreply.github.com> | 2018-11-18 12:44:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-18 12:44:39 -0500 |
| commit | cbf4c663611d4b7d07f3fc8d43f0be756ccc19ed (patch) | |
| tree | f71e627c4af610124b7f77cc4a9c2dad2adf02f6 /tools/unnamed.py | |
| parent | c05a2d255befc2d3b7fdf3c5375fa9a015c13632 (diff) | |
| parent | 3202c4f3dfeac64d815e3b5ee3ee8e891c2b1ba2 (diff) | |
Merge pull request #577 from Rangi42/master
Resolve issue #575: Rename text commands
Diffstat (limited to 'tools/unnamed.py')
0 files changed, 0 insertions, 0 deletions