dev-util/difffilter: Drop old
[gentoo.git] / dev-util / difffilter / files /
2018-11-04 Jeroen Rooversdev-util/difffilter: Install man page