diff options
| author | mid-kid <esteve.varela@gmail.com> | 2018-10-24 21:46:44 +0200 |
|---|---|---|
| committer | mid-kid <esteve.varela@gmail.com> | 2018-11-05 22:26:18 +0100 |
| commit | 0af682d38ae9e60095dc2a0e11830fc8fec15d02 (patch) | |
| tree | 934df3d0cf79d66a0657815b35ccdf8a64dba768 | |
| parent | 6a2cad6bcc17c60b87667d8d90c3931b7f70bfe2 (diff) | |
chmod +x tools/free_space.awk
| -rwxr-xr-x[-rw-r--r--] | tools/free_space.awk | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/free_space.awk b/tools/free_space.awk index 1f2b04415..1f2b04415 100644..100755 --- a/tools/free_space.awk +++ b/tools/free_space.awk |