The pacman tool got replaced by the sec-updater tool

2017-11-15 12:18:17 +01:00
1 parent 851e51d1cf
commit 7f1d944bc9
@@ -18,7 +18,6 @@ options = \
 	options/imv_policy_manager.opt \
 	options/manager.opt \
 	options/medsrv.opt \
-	options/pacman.opt \
 	options/pki.opt \
 	options/pool.opt \
 	options/scepclient.opt \