diff --git a/docs/1553_newDymolaVersionCI/index.html b/docs/1553_newDymolaVersionCI/index.html index 6879012685..4b66b8d85d 100644 --- a/docs/1553_newDymolaVersionCI/index.html +++ b/docs/1553_newDymolaVersionCI/index.html @@ -12,1064 +12,441 @@