diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 17:37:58 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 17:37:58 -0500 |
| commit | 729608124fa5f479a82dcc3b13fdcedc473fdafa (patch) | |
| tree | 9cd2e3f1cb9f83f6e5e5fc055bfcee8bbf0aaa24 /extras/replace_dimensions.py | |
| parent | 90430e6dee9e207dc0b618d07566f83617343f60 (diff) | |
Remove the 'extras' submodule and include a local gfx.py tool instead
Diffstat (limited to 'extras/replace_dimensions.py')
| m--------- | extras | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extras b/extras deleted file mode 160000 -Subproject be6d6c9ce9a86231482eafacd4be86728580936 |