diff TOOLS/checktree.sh @ 20544:6612c7dde2cd

Rename all codecs directory options.
author diego
date Tue, 31 Oct 2006 14:47:34 +0000
parents 97fbe96274c3
children 131563493cc4
line wrap: on
line diff