diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-01 22:10:20 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-05 07:49:22 +0200 |
| commit | ae9729b6df885eb04c63501b33399d401829a76a (patch) | |
| tree | 9aeccaf18bd852a516ea137f2347f9a634993d34 /tools/dist | |
| parent | 08e5e8794aceff8de4a928d1876c6af88601a5db (diff) | |
Move various scripts to the "scripts" folder
Thus cleaning up the "tools" folder a bit.
Diffstat (limited to 'tools/dist')
0 files changed, 0 insertions, 0 deletions