diff options
| author | Florian Dold <florian.dold@gmail.com> | 2017-05-29 01:51:58 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2017-05-29 01:51:58 +0200 |
| commit | 59466f01d1159718953817e5f1d1fcafbd6eecc5 (patch) | |
| tree | e8962a51f684181073bb3b9ae5f1db89907b9db9 /src | |
| parent | 5755f7a81433dea3754f9f86d90884cf23b7ad64 (diff) | |
also delete dist/ in 'make clean'
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions