]> git.plutz.net Git - blast/commit - Makefile
more reliable removal of packages
authorPaul Hänsch <paul@plutz.net>
Tue, 17 Sep 2019 03:02:59 +0000 (05:02 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 17 Sep 2019 03:02:59 +0000 (05:02 +0200)
commita917a5c3819cc0e87769c48c60d7c60efe340014
treed924c00450887e3174d6eb85159bb5c540887f6f
parent4fc67370f4e8f6dc720fd7a7cd110439acc3ad4b
more reliable removal of packages
Makefile