<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<link rel="stylesheet" type="text/css" href="http://www.splint.org/splint.css" title="style1">
<html xmlns="http://www.w3.org/1999/xhtml">
<title>Splint FAQ</title>
content="HTML Tidy for Linux/x86 (vers 1st November 2002), see www.w3.org" />
<meta http-equiv="CONTENT-TYPE" content="text/html; charset=utf-8" />
<title></title>
- <meta name="GENERATOR" content="OpenOffice.org 1.0.2 (Linux)" />
- <meta name="CREATED" content="20030420;14270100" />
- <meta name="CHANGED" content="20030420;14462200" />
</head>
<body lang="en-US">
<h1>Splint frequently asked questions</h1>