diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/TestFloat-general.html | 4 | ||||
-rw-r--r-- | doc/TestFloat-source.html | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/TestFloat-general.html b/doc/TestFloat-general.html index d72807e..356f3ef 100644 --- a/doc/TestFloat-general.html +++ b/doc/TestFloat-general.html @@ -116,9 +116,9 @@ The work was officially overseen by Prof. Krste Asanovic, with funding provided by these sources: <BLOCKQUOTE> <TABLE> -<COL WIDTH=*> +<COL> <COL WIDTH=10> -<COL WIDTH=*> +<COL> <TR> <TD VALIGN=TOP><NOBR>Par Lab:</NOBR></TD> <TD></TD> diff --git a/doc/TestFloat-source.html b/doc/TestFloat-source.html index 6851036..7086af6 100644 --- a/doc/TestFloat-source.html +++ b/doc/TestFloat-source.html @@ -127,9 +127,9 @@ The work was officially overseen by Prof. Krste Asanovic, with funding provided by these sources: <BLOCKQUOTE> <TABLE> -<COL WIDTH=*> +<COL> <COL WIDTH=10> -<COL WIDTH=*> +<COL> <TR> <TD VALIGN=TOP><NOBR>Par Lab:</NOBR></TD> <TD></TD> |