picolisp

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/picolisp.git/
Log | Files | Refs | README | LICENSE
commit aa0d748b83e65d23ebaefa294a3777c5e4529220
parent fc393bd52f673de30f501b39350e7d5314da87f0
Author: Alexander Burger <abu@software-lab.de>
Date:   Wed,  9 May 2012 15:29:53 +0200

Minor: Wrong doctype
Diffstat:

Mdoc/select.html | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/select.html b/doc/select.html
@@ -1,4 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/1998/REC-html40-19980424/loose.dtd">
 <html lang="en">
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">