diff m_option.h @ 27350:75dbde4f3a1d

Rename binary-codecs.sh once more to binary_codecs.sh as it is called in Debian.
author diego
date Thu, 31 Jul 2008 09:49:16 +0000
parents 7a36d5941fd8
children af274aef6b81
line wrap: on
line diff