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