comparison TOOLS/install-w32codecs.sh @ 19293:67a441044abe

'make distclean' should remove all generated files, so also config.[h|mak].
author diego
date Thu, 03 Aug 2006 17:34:54 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
19292:20938447bb55 19293:67a441044abe