diff options
Diffstat (limited to 'docs/repository.html')
-rw-r--r-- | docs/repository.html | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/docs/repository.html b/docs/repository.html index bdd2b577b4c..cd895a37211 100644 --- a/docs/repository.html +++ b/docs/repository.html @@ -1,10 +1,11 @@ -<HTML> - -<TITLE>Code Repository</TITLE> - -<link rel="stylesheet" type="text/css" href="mesa.css"></head> - -<BODY> +<!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>Code Repository</title> + <link rel="stylesheet" type="text/css" href="mesa.css"> +</head> +<body> <h1>Code Repository</h1> @@ -212,5 +213,3 @@ See <a href="http://www.eecs.harvard.edu/~cduan/technical/git/" target="_parent" </body> </html> - - |