From: drl7x Date: Mon, 21 Apr 2003 00:27:57 +0000 (+0000) Subject: Added the splint.org css sheet to the html version of the faq. X-Git-Tag: splint-3_1_0~8 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/45c166515f89d53f712f6c832ebcea6f2543452c Added the splint.org css sheet to the html version of the faq. --- 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