xs-extra: remove xentoollog

Its use was removed from the code Signed-off-by: Pau Ruiz Safont <[email protected]>
xapi-project · Apr 5, 2023 · 3de800a · 3de800a
1 parent 0f766d3
commit 3de800a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/packages/xs-extra/xapi-xenopsd-xc.master/opam b/packages/xs-extra/xapi-xenopsd-xc.master/opam
@@ -45,7 +45,6 @@ depends: [
   "xenctrl"
   "xenstore"
   "xenstore_transport"
-  "xentoollog"
 ]
 synopsis:
   "A xenops plugin which knows how to use xenstore, xenctrl and xenguest to manage"

diff --git a/packages/xs-extra/xentoollog.master/opam b/packages/xs-extra/xentoollog.master/opam