diff options
Diffstat (limited to 'manual.html')
-rw-r--r-- | manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual.html b/manual.html index 8acf6b2..a18717b 100644 --- a/manual.html +++ b/manual.html @@ -1558,7 +1558,7 @@ subpatterns</em></li> </div> <div class="footer"> <hr class="footer" /> -Generated on: 2017-11-06 16:45 UTC. +Generated on: 2020-08-07 08:55 UTC. </div> </body> |