diff TOOLS/c @ 744:6bb9d383c392

CODECS -> codecs.conf
author gabucino
date Wed, 09 May 2001 23:30:44 +0000
parents 548aa1c31d21
children 77d81e5c186d
line wrap: on
line diff