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 12b8671e..ea057d19 100644 --- a/vignettes/mkin.html +++ b/vignettes/mkin.html @@ -372,7 +372,7 @@ code > span.er { color: #a61717; background-color: #e3d2d2; } <h1 class="title toc-ignore">Short introduction to mkin</h1> <h4 class="author">Johannes Ranke</h4> -<h4 class="date">Last change 18 May 2023 (rebuilt 2023-05-19)</h4> +<h4 class="date">Last change 18 May 2023 (rebuilt 2024-04-27)</h4> <div id="TOC"> |