X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/957f1d1336863c58210dbe1ed61b63988361c206..45c166515f89d53f712f6c832ebcea6f2543452c:/doc/html/faq.html diff --git a/doc/html/faq.html b/doc/html/faq.html index c2fcdf2..3c8ca86 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -1,6 +1,7 @@ + Splint FAQ @@ -9,9 +10,6 @@ content="HTML Tidy for Linux/x86 (vers 1st November 2002), see www.w3.org" /> - - -

Splint frequently asked questions