# HG changeset patch
# User wenzelm
# Date 1554812249 -7200
# Node ID 23c0dfa39dced453d2e1252da94cba512f5c3aa9
# Parent  f9d8f78ef6871f72b8041a81e6a19c448634939b
updated to bib2xhtml-20190409: current repository clone;

diff -r f9d8f78ef687 -r 23c0dfa39dce Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Apr 09 11:24:47 2019 +0200
+++ b/Admin/components/components.sha1	Tue Apr 09 14:17:29 2019 +0200
@@ -12,6 +12,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
+4085dd6060a32d7e0d2e3f874c463a9964fd409b  bib2xhtml-20190409.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c  cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836  ci-extras-1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
diff -r f9d8f78ef687 -r 23c0dfa39dce Admin/components/main
--- a/Admin/components/main	Tue Apr 09 11:24:47 2019 +0200
+++ b/Admin/components/main	Tue Apr 09 14:17:29 2019 +0200
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.2
-bib2xhtml-20171221
+bib2xhtml-20190409
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2