projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6b27f6) | patch
Replace gifs with pngs.
authorRob Savoye <rob@welcomehome.org>
Wed, 20 Feb 2002 22:30:15 +0000 (22:30 +0000)
committerRob Savoye <rob@welcomehome.org>
Wed, 20 Feb 2002 22:30:15 +0000 (22:30 +0000)
commitfbedff8b4ccb8aacc4cd4ea7263b81ef9314f951
treef53c278c20d6fb10bca0d54d463ecb11360ffa2etree | snapshot
parente6b27f6627dc7a6af4e267c964d22bf2b10ae01dcommit | diff
Replace gifs with pngs.
12 files changed:
doc/overview/stylesheet-images/caution.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/home.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/important.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/next.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/note.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/prev.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/tip.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/toc-blank.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/toc-minus.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/toc-plus.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/up.png [new file with mode: 0644] blob
doc/overview/stylesheet-images/warning.png [new file with mode: 0644] blob
Domain: System / Toolchain;