diff TOOLS/install-w32codecs.sh @ 16573:29054413051e

compress back_ptr better by multiplying by 8
author ods15
date Sat, 24 Sep 2005 04:43:02 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff