diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-02 21:54:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-02 21:54:12 +0100 |
| commit | 93deefcae221e03358dd259f1958930331654afc (patch) | |
| tree | b7a77f5d41242ba35e3e6cbde56bc077561c692d /tools/format.py | |
| parent | d672e1405dd7085a060625fc320d063f7f7970a2 (diff) | |
chore: remove unused tools/ scripts (#8222)
Diffstat (limited to 'tools/format.py')
0 files changed, 0 insertions, 0 deletions