diff options
Diffstat (limited to 'doc/packages.html')
| -rw-r--r-- | doc/packages.html | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/doc/packages.html b/doc/packages.html deleted file mode 100644 index 2686165..0000000 --- a/doc/packages.html +++ /dev/null @@ -1,26 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN""http://www.w3.org/TR/REC-html40/frameset.dtd"> -<!--NewPage--> -<HTML> -<HEAD> -<!-- Generated by javadoc on Mon Jul 17 10:54:15 CEST 2000 --> -<TITLE> - -</TITLE> -<LINK REL ="stylesheet" TYPE="text/css" HREF="stylesheet.css" TITLE="Style"> -</HEAD> -<BODY BGCOLOR="white"> - -<BR> - -<BR> - -<BR> -<CENTER> -The front page has been relocated.Please see: -<BR> - <A HREF="index.html">Frame version</A> -<BR> - <A HREF="fr/dgac/ivy/Ivy.html">Non-frame version.</A></CENTER> - -</BODY> -</HTML> |