diff TOOLS/Makefile @ 20569:02de8bb9bbba

The col utility eats non-ASCII characters without the -p option it seems.
author diego
date Wed, 01 Nov 2006 17:43:20 +0000
parents 64d82a45a05d
children b4c865e17155
line wrap: on
line diff