diff options
Diffstat (limited to 'odk/docs/tools.html')
| -rw-r--r-- | odk/docs/tools.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/odk/docs/tools.html b/odk/docs/tools.html index 6a7b7ca11fa7..88d52665decb 100644 --- a/odk/docs/tools.html +++ b/odk/docs/tools.html @@ -5,9 +5,7 @@ <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <meta name="author" content="Jürgen Schmidt"> </head> - -</head> - <body> +<body> <a name="tools"></a> <div id="BgContainer"> <div id="Container"> |