diff options
Diffstat (limited to 'CIAO/docs/static_ciao_index.html')
-rwxr-xr-x | CIAO/docs/static_ciao_index.html | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/CIAO/docs/static_ciao_index.html b/CIAO/docs/static_ciao_index.html deleted file mode 100755 index 627e07c65ca..00000000000 --- a/CIAO/docs/static_ciao_index.html +++ /dev/null @@ -1,23 +0,0 @@ -<html> - -<head> -<meta name="GENERATOR" content="Microsoft FrontPage 5.0"> -<meta name="ProgId" content="FrontPage.Editor.Document"> -<title>New Page 1</title> -<!-- $Id$ --> - -</head> - -<frameset cols="294,*"> - <frame name="contents" target="main" src="static_ciao_toc.html"> - <frame name="main" src="static_ciao_contents.html" target="main"> - <noframes> - <body> - - <p>This page uses frames, but your browser doesn't support them.</p> - - </body> - </noframes> -</frameset> - -</html> |