diff options
Diffstat (limited to 'docs/SystemLibrary.html')
| -rw-r--r-- | docs/SystemLibrary.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/SystemLibrary.html b/docs/SystemLibrary.html index 4d95dee6b2..7229813aad 100644 --- a/docs/SystemLibrary.html +++ b/docs/SystemLibrary.html @@ -7,9 +7,11 @@ </head> <body> -<div class="doc_title"> System Library</div> +<div class="doc_title">System Library</div> -<div class="doc_warning">Warning: This document is a work in progress.</div> +<div class="doc_warning"> + <p>Warning: This document is a work in progress.</p> +</div> <ul> <li><a href="#abstract">Abstract</a></li> |