[Pki-devel] [PATCH] 103 Merged pki-native-tools and pki-java-tools.

[Endi Sukma Dewata]

The pki-native-tools and pki-java-tools have been merged into
pki-tools and pki-server will depend on it. Since pki-ra and
pki-tps depends on pki-server they automatically depends on
pki-tools as well.

Ticket #295

-- 
Endi S. Dewata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pki-edewata-0103-Merged-pki-native-tools-and-pki-java-tools.patch
Type: text/x-patch
Size: 12619 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/pki-devel/attachments/20120820/e6dd5fa2/attachment.bin>