Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / WWW / User / Administration / tools / Overview.html
diff --git a/JMCR-Stable/real-world application/jigsaw/WWW/User/Administration/tools/Overview.html b/JMCR-Stable/real-world application/jigsaw/WWW/User/Administration/tools/Overview.html
new file mode 100644 (file)
index 0000000..e4273ad
--- /dev/null
@@ -0,0 +1,12 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0 Strict//EN">\r
+<HTML><HEAD>\r
+<TITLE>Jigsaw tools</TITLE>\r
+</HEAD><BODY><H1>Jigsaw tools\r
+</H1><DL><DT><A href="jhttpd.html">jigsaw</A>\r
+<DD>The server proper.\r
+<DT><A href="jindex.html">jindex</A>\r
+<DD>The indexer\r
+</DL><P><HR>\r
+    <A href="mailto:jigsaw@w3.org">Jigsaw Team</A>\r
+    <BR>$Id: Overview.html,v 1.1 2010/06/15 12:29:44 smhuang Exp $\r
+</BODY></HTML>\r