diff options
Diffstat (limited to 'doc/html/ada/files.htm')
-rw-r--r-- | doc/html/ada/files.htm | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/html/ada/files.htm b/doc/html/ada/files.htm deleted file mode 100644 index a3bad641f827..000000000000 --- a/doc/html/ada/files.htm +++ /dev/null @@ -1,6 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<HTML><HEAD><TITLE></TITLE></HEAD> -<BODY> -<H2 ALIGN=CENTER>Files</H2> -<A HREF="files/T.htm">[T]</A> -</BODY></HTML> |