diff options
Diffstat (limited to 'vignettes/mkin.html')
| -rw-r--r-- | vignettes/mkin.html | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/vignettes/mkin.html b/vignettes/mkin.html index 0d5ed6fc..38c44a0f 100644 --- a/vignettes/mkin.html +++ b/vignettes/mkin.html @@ -1599,7 +1599,7 @@ div.tocify {  <h1 class="title toc-ignore">Introduction to mkin</h1>  <h4 class="author">Johannes Ranke</h4> -<h4 class="date">Last change 15 February 2021 (rebuilt 2022-07-12)</h4> +<h4 class="date">Last change 15 February 2021 (rebuilt 2022-11-15)</h4>  </div> | 
