diff options
Diffstat (limited to 'odk/docs')
-rw-r--r-- | odk/docs/images/bluball.gif | bin | 103 -> 905 bytes | |||
-rw-r--r-- | odk/docs/tools.html | 4 |
2 files changed, 1 insertions, 3 deletions
diff --git a/odk/docs/images/bluball.gif b/odk/docs/images/bluball.gif Binary files differindex dc7c020045d3..fcadd22e153c 100644 --- a/odk/docs/images/bluball.gif +++ b/odk/docs/images/bluball.gif 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"> |