diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-18 12:57:45 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2014-04-18 12:57:45 +0200 |
| commit | 8066a2b222a31cf5ac217de5e26a267a2100940e (patch) | |
| tree | d5ef0fdc1b00e3a32d38773dc00d1ce232b5f00f /Makefile | |
| parent | ac045fe4254306fbcc32ffce058b860d5a473b98 (diff) | |
Pruning: turns out rmdir does it for us with -p.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions