[Pkg-mediawiki-devel] packaging of MW extensions

[Thorsten Glaser]

Forgot…

can I nuke this file?

dist/mediawiki-extensions-base/usr/share/doc/mediawiki-extensions/base/CategoryTree/install.settings

Other suggestions of redundant files welcome of course ;-)

bye,
//mirabilos
-- 
tarent Gesellschaft für Softwareentwicklung und IT-Beratung mbH
Geschäftsführer: Boris Esser, Elmar Geese
HRB AG Bonn 5168 - USt-ID (VAT): DE122264941

Heilsbachstraße 24, 53123 Bonn,   Telefon: +49 228 52675-93
Weigandufer 45,     12059 Berlin, Telefon: +49 30 5682943-30
Internet: http://www.tarent.de/ • Telefax: +49 228 52675-25