diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 17:00:25 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 17:00:25 +0100 |
| commit | db31bce606eb82440019cca434a78ba4097a1af3 (patch) | |
| tree | 441b15fd56a12bb0378951f75f103ee1551ac08e /.dir-locals.el | |
| parent | f32b509313a9427347db0275ed09cb1b70bb3d89 (diff) | |
Proper deletion of util-linux source after successfully building it
After recently adding util-linux to Maneage build-tree, we had forgot to
delete the unpacked and built source directory after it was installed! This
has been corrected with this commit.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions