debian/0.12.0-1

Fabian Greffrath

@fabian

722032d9 · Add /usr/share/doc to debian/not-installed, we install the documentation manually. · Oct 12, 2019

freedoom Debian release 0.12.0-1