Doc: updated last change date and time

2024-05-17 15:48:17 +02:00
parent 9a3abdf1b6
commit 91fdc1926e
2 changed files with 3 additions and 3 deletions
@@ -585,7 +585,7 @@ pre.rouge .ss {
 <div class="sectionbody">
 <!-- toc disabled -->
 <div class="paragraph">
-<p><mark>TODO: Work in progress (last update on 2024/05/17, 7:30 a.m.)</mark></p>
+<p><mark>TODO: Work in progress (last update on 2024/05/17, 15:47 p.m.)</mark></p>
 </div>
 </div>
 </div>
@@ -1767,7 +1767,7 @@ These operators have a high priority, in particular higher than the operator <co
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2024-05-17 15:44:42 +0200
+Last updated 2024-05-17 15:47:29 +0200
 </div>
 </div>
 </body>