summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2004-06-24 12:35:32 +0000
committermichelou <michelou@epfl.ch>2004-06-24 12:35:32 +0000
commit1ed6c90451e895ae8ad6e747932402450a422ef5 (patch)
treebeb56db2cd75f8b44644dc0786182bb8d099278a /config
parent26fe188f8277463fd4473748680f2df431f4ccb6 (diff)
downloadscala-1ed6c90451e895ae8ad6e747932402450a422ef5.tar.gz
scala-1ed6c90451e895ae8ad6e747932402450a422ef5.tar.bz2
scala-1ed6c90451e895ae8ad6e747932402450a422ef5.zip
- replaced GIF/JPG images for PS/PDF formats wi...
- replaced GIF/JPG images for PS/PDF formats with PNG images.
Diffstat (limited to 'config')
-rw-r--r--config/list/website.lst4
1 files changed, 2 insertions, 2 deletions
diff --git a/config/list/website.lst b/config/list/website.lst
index 9f1460dd78..4115186baf 100644
--- a/config/list/website.lst
+++ b/config/list/website.lst
@@ -40,8 +40,8 @@ images/colpoint2d.png
images/colpoint3d.png
images/html1.gif
images/index.html
-images/pdf1.gif
-images/ps1.jpg
+images/small_pdf.png
+images/small_ps.png
images/tgz.gif
images/valid-xhtml11.png
images/zip.gif