diff options
Diffstat (limited to 'cil/doc/header.html')
-rw-r--r-- | cil/doc/header.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/cil/doc/header.html b/cil/doc/header.html new file mode 100644 index 00000000..cfedee90 --- /dev/null +++ b/cil/doc/header.html @@ -0,0 +1,18 @@ +<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> |