Details
Description
Last tvb-documentation-site was deployed at revision 8721 and it looks good.
Now, at 8838, we are missing some css, and the file tvb.version from tvb-library is no longer updated.
This happens in the context of Hudson to Jenkins switch and other svn changes since. To be investigated.