diff TOOLS/w32codec_dl.pl @ 12088:f52e662bf365

although this SSE fix is an ugly hack it seems to work fine for me
author faust3
date Thu, 01 Apr 2004 10:35:30 +0000
parents 39805251ef61
children 0f1b5b68af32
line wrap: on
line diff