diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-11-17 13:33:03 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-11-18 12:41:11 -0500 |
| commit | 3202c4f3dfeac64d815e3b5ee3ee8e891c2b1ba2 (patch) | |
| tree | f71e627c4af610124b7f77cc4a9c2dad2adf02f6 /tools/unnamed.py | |
| parent | c05a2d255befc2d3b7fdf3c5375fa9a015c13632 (diff) | |
Resolve issue #575: Rename text commands
Diffstat (limited to 'tools/unnamed.py')
0 files changed, 0 insertions, 0 deletions