diff options
Diffstat (limited to 'cil/doc/header.html')
-rw-r--r-- | cil/doc/header.html | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/cil/doc/header.html b/cil/doc/header.html deleted file mode 100644 index cfedee90..00000000 --- a/cil/doc/header.html +++ /dev/null @@ -1,18 +0,0 @@ -<html> - -<head> -<meta http-equiv="Content-Language" content="en-us"> -<meta name="GENERATOR" content="Microsoft FrontPage 5.0"> -<meta name="ProgId" content="FrontPage.Editor.Document"> -<meta http-equiv="Content-Type" content="text/html; charset=windows-1252"> -<title>CIL Documentation (v. 1.3.5)</title> -<base target="contents"> -</head> - -<body> - -<h1 align="center">CIL - Infrastructure for C Program Analysis and Transformation (v. 1.3.5)</h1> - -</body> - -</html> |