disable_tools
authorDebian Multimedia Maintainers <debian-multimedia@lists.debian.org>
Thu, 19 Apr 2018 09:44:40 +0000 (10:44 +0100)
committerJoachim Bauch <bauch@struktur.de>
Thu, 19 Apr 2018 09:44:40 +0000 (10:44 +0100)
commit0fff6cff758ebd6298c2b0bdc8303b24594ccd4c
treec2c415506b8723dc14205aad6c7dbd0e5cdd77c8
parent5db4b2bb9f6e87e045d41b0f8588732e08a227f3
disable_tools

Gbp-Pq: Name disable_tools.patch
Makefile.am
dec265/Makefile.am