Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / WWW / Admin / Overview.html
diff --git a/JMCR-Stable/mcr-test/WWW/Admin/Overview.html b/JMCR-Stable/mcr-test/WWW/Admin/Overview.html

new file mode 100644 (file)

index 0000000..17e426f
--- /dev/null
+++ b/JMCR-Stable/mcr-test/WWW/Admin/Overview.html
@@ -0,0 +1,12 @@
+<HTML>\r
+<HEAD>\r
+  <TITLE>Jigsaw User's Guide</TITLE>\r
+<!-- Changed by: Benoit Mahe, 18-Feb-1998 -->\r
+</HEAD>\r
+<FRAMESET ROWS="65,*" >\r
+  <FRAME SRC="/Admin/fr-toc.html" SCROLLING="auto">\r
+  <FRAME SRC="/Admin/lister" NAME="jigsaw-admin" SCROLLING="auto">\r
+</FRAMESET>\r
+ \r
+<!-- Normal directory listing -->\r
+\r