diff options
author | Patrick Totzke <patricktotzke@gmail.com> | 2017-01-16 14:06:43 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-16 14:06:43 +0000 |
commit | 13b7519330c1b548919b7670883b4117cc2098f1 (patch) | |
tree | 963c993bdea19a6a6d548780022d5f5ecda07e9a /extra/theme_convert.py | |
parent | 3278bd2b02101af557d0ec5acbfa84e73f61d4f0 (diff) | |
parent | 54f47b653dee7b39ca7dba93807b197421032188 (diff) |
Merge pull request #973 from lucc/rm-old-file
Remove old unneeded script
Diffstat (limited to 'extra/theme_convert.py')
0 files changed, 0 insertions, 0 deletions