diff options
Diffstat (limited to 'PACE/pace/man/banner')
| -rw-r--r-- | PACE/pace/man/banner | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/PACE/pace/man/banner b/PACE/pace/man/banner deleted file mode 100644 index 668e1f5de5d..00000000000 --- a/PACE/pace/man/banner +++ /dev/null @@ -1,5 +0,0 @@ -<!-- $Id$ --> -<!-- This is the banner file that doc++ inserts at the bottom of the --> -<!-- generated html man pages. --> -<!-- Originally written by: Joe Hoffert --> -<A HREF="http://www.cs.wustl.edu/~luther/PACE/index.html"><IMG BORDER=0 ALIGN=RIGHT SRC=pace.jpg></A> |