diff options
| author | jvoisin | 2018-07-24 10:49:17 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-24 10:49:17 +0200 |
| commit | c1dee0e728ffa622f1389b8539e6be378160b6a2 (patch) | |
| tree | 6a722bbf4ed5c10c58e37493d47c495db393b418 /scripts | |
| parent | 28d101595adab9dd58676c1fcef34dcc0c753980 (diff) | |
Remove two useless files
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions