diff options
Diffstat (limited to 'docs/utilities.html')
| -rw-r--r-- | docs/utilities.html | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/docs/utilities.html b/docs/utilities.html index 4693639b8a..c748169443 100644 --- a/docs/utilities.html +++ b/docs/utilities.html @@ -1,12 +1,13 @@ -<HTML> +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html lang="en"> +<head> + <meta http-equiv="content-type" content="text/html; charset=utf-8"> + <title>Development Utilities</title> + <link rel="stylesheet" type="text/css" href="mesa.css"> +</head> +<body> -<TITLE>Development Utilities</TITLE> - -<link rel="stylesheet" type="text/css" href="mesa.css"></head> - -<BODY> - -<H1>Development Utilities</H1> +<h1>Development Utilities</h1> <ul> @@ -23,4 +24,4 @@ memory-related problems in your code. </ul> </body> -</html>
\ No newline at end of file +</html> |