added button GIF's to the HTML docs
authorJeffrey Hutzelman <jhutz@cmu.edu>
Fri, 19 Oct 2001 17:22:30 +0000 (17:22 +0000)
committerJeffrey Hutzleman <jhutz@grand.central.org>
Fri, 19 Oct 2001 17:22:30 +0000 (17:22 +0000)
commitdd5689605a5250d6d38acf004fe350e4947143d0
treec33effd9b50e884d099836b85a16b1cf1ad14ed5
parent653b47a5524d72d1c819f9dea9300066a69f6690
added button GIF's to the HTML docs
doc/html/banner.gif [new file with mode: 0644]
doc/html/books.gif [new file with mode: 0644]
doc/html/bot.gif [new file with mode: 0644]
doc/html/index.gif [new file with mode: 0644]
doc/html/index.htm
doc/html/next.gif [new file with mode: 0644]
doc/html/prev.gif [new file with mode: 0644]
doc/html/toc.gif [new file with mode: 0644]
doc/html/top.gif [new file with mode: 0644]