diff options
Diffstat (limited to 'PACE/docs/index.html')
| -rw-r--r-- | PACE/docs/index.html | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/PACE/docs/index.html b/PACE/docs/index.html deleted file mode 100644 index b10d70f5e25..00000000000 --- a/PACE/docs/index.html +++ /dev/null @@ -1,18 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<html> - <head> - <!-- $Id$ --> - <title>PACE Index</title> - </head> - - <frameset cols="150,*" border="0"> - <frame src="legend.html" name="left"> - <frame src="todo.html" name="right"> - </frameset> - -<!-- Created: Thu Dec 21 18:08:30 CST 2000 --> -<!-- hhmts start --> -Last modified: Thu Dec 21 19:17:45 CST 2000 -<!-- hhmts end --> - </body> -</html> |