Update docs

This commit is contained in:
Joerg Wunsch
2022-03-13 00:31:27 +01:00
parent c5f7939fca
commit 0e441013e9
24 changed files with 58 additions and 58 deletions

View File

@@ -1,6 +1,6 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Created on March 3, 2022 by texi2html 5.0
<!-- Created on March 13, 2022 by texi2html 5.0
texi2html was written by:
Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
@@ -85,7 +85,7 @@ ul.no-bullet {list-style: none}
</tr></table>
<p>
<font size="-1">
This document was generated on <i>March 3, 2022</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 5.0</i></a>.
This document was generated on <i>March 13, 2022</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 5.0</i></a>.
</font>
<br>