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 /tex/README.md | |
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 'tex/README.md')
0 files changed, 0 insertions, 0 deletions