diff options
| -rw-r--r-- | docs/ReleaseNotes.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 2e9ebd2bdf..2be134940d 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -505,7 +505,7 @@ virtually atomically and isolated from other transactions.</p> <!--=========================================================================--> <div class="doc_subsection"> -<a name="Kai">Kai Interpreter</a> +<a name="Kai">Kai Programming Language</a> </div> <div class="doc_text"> |