#779734 doc-central: no docs at all!

Package:
doc-central
Source:
doc-central
Submitter:
giacomo boffi
Date:
2016-12-20 14:45:03 UTC
Severity:
important