diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
| commit | 93d89c2b5e8497365be152fb53cb6cd4c5764d34 (patch) | |
| tree | 0de8d05bbd0eeaeb5e4b85395f8dd576984b6a9e /cil/doc/index.html | |
| parent | 891377ce1962cdb31357d6580d6546ec22df2b4f (diff) | |
| download | compcert-kvx-93d89c2b5e8497365be152fb53cb6cd4c5764d34.tar.gz compcert-kvx-93d89c2b5e8497365be152fb53cb6cd4c5764d34.zip | |
Getting rid of CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cil/doc/index.html')
| -rw-r--r-- | cil/doc/index.html | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/cil/doc/index.html b/cil/doc/index.html deleted file mode 100644 index 77ec1606..00000000 --- a/cil/doc/index.html +++ /dev/null @@ -1,26 +0,0 @@ -<html> - -<head> -<meta name="GENERATOR" content="Microsoft FrontPage 5.0"> -<meta name="ProgId" content="FrontPage.Editor.Document"> -<base target="main"> -<title>CIL Documentation (v. 1.3.5)</title> -</head> - -<frameset rows="64,*"> - <frame name="banner" scrolling="auto" noresize target="contents" - src="header.html"> - <frameset cols="267,*"> - <frame name="contents" target="main" src="ciltoc.html" scrolling="auto"> - <frame name="main" src="cil001.html" scrolling="auto"> - </frameset> - <noframes> - <body> - - <p>This page uses frames, but your browser doesn't support them.</p> - - </body> - </noframes> -</frameset> - -</html>
\ No newline at end of file |