debian/3.7-4
Ralf Treinen
@treinen
3d022fd6
·
install pdf docs only in /usr/share/docs, don't install html docs
·
Oct 23, 2016
spass Debian release 3.7-4
