diff options
Diffstat (limited to 'lib/runtime_tools')
| -rw-r--r-- | lib/runtime_tools/doc/src/notes.xml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/lib/runtime_tools/doc/src/notes.xml b/lib/runtime_tools/doc/src/notes.xml index fb13b74888..355e3dd40d 100644 --- a/lib/runtime_tools/doc/src/notes.xml +++ b/lib/runtime_tools/doc/src/notes.xml @@ -32,22 +32,6 @@ <p>This document describes the changes made to the Runtime_Tools application.</p> -<section><title>Runtime_Tools 1.13</title> - - <section><title>Improvements and New Features</title> - <list> - <item> - <p> - New utility module <c>scheduler</c> which makes it easier - to measure scheduler utilization.</p> - <p> - Own Id: OTP-14904</p> - </item> - </list> - </section> - -</section> - <section><title>Runtime_Tools 1.12.5</title> <section><title>Fixed Bugs and Malfunctions</title> |