[Pki-devel] [PATCH] 588 Fixed problem deploying without theme.
The deployment tool has been modified to deploy the pki.xml only
if the theme package is installed.
https://fedorahosted.org/pki/ticket/499
--
Endi S. Dewata
Attachments:
- pki-edewata-0588-Fixed-problem-deploying-without-theme.patch (text/plain — 2.9 KB)