Fixed html docs for new get_vect.

This commit is contained in:
Salvatore Filippone
2018-09-05 14:57:51 +01:00
parent e5ed49a018
commit a87bf0ad7f
26 changed files with 52 additions and 31 deletions
+1 -1
View File
@@ -152,7 +152,7 @@ where:
<P>
<BR><P></P>
<DIV ALIGN="CENTER"><A NAME="2020"></A>
<DIV ALIGN="CENTER"><A NAME="2034"></A>
<TABLE>
<CAPTION><STRONG>Table 12:</STRONG>
Data types</CAPTION>