diff options
Diffstat (limited to 'TAO/docs/implrepo.html')
| -rw-r--r-- | TAO/docs/implrepo.html | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/TAO/docs/implrepo.html b/TAO/docs/implrepo.html deleted file mode 100644 index 8263bff6d4c..00000000000 --- a/TAO/docs/implrepo.html +++ /dev/null @@ -1,12 +0,0 @@ -<HTML> -<!-- $Id$ --> -<HEAD> -<TITLE>IR docs have moved</TITLE> -<META HTTP-EQUIV="Refresh" CONTENT="1; URL=implrepo/index.html"> -</HEAD> -<BODY> -<P>The IR docs have moved to <A HREF="implrepo/index.html">here</A>.</P> -<P>This page should automatically redirect you there, if not, click on -the link above.</P> -</BODY> -</HTML>
\ No newline at end of file |