diff options
Diffstat (limited to 'git-tools.html')
| -rw-r--r-- | git-tools.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-tools.html b/git-tools.html index bedfaae59..01416192e 100644 --- a/git-tools.html +++ b/git-tools.html @@ -735,6 +735,7 @@ asciidoc.install(); <body class="article">
<div id="header">
<h1>Git Tools</h1>
+<span id="revdate">2023-05-15</span>
</div>
<div id="content">
<div id="preamble">
|