Admin/components/main
changeset 67243 6a93aaa3ed36
parent 67099 3345d53e7c58
child 67255 f1f983484878
     1.1 --- a/Admin/components/main	Thu Dec 21 12:19:24 2017 +0100
     1.2 +++ b/Admin/components/main	Thu Dec 21 16:29:03 2017 +0100
     1.3 @@ -1,5 +1,6 @@
     1.4  #main components for everyday use, without big impact on overall build time
     1.5  bash_process-1.2.2
     1.6 +bib2xhtml-20171221
     1.7  csdp-6.x
     1.8  cvc4-1.5-3
     1.9  e-2.0-1