diff DOCS/tech/encoding-tips.txt @ 16458:c35ed5cdf07e

Respect -nodouble even though it looks very bad.
author reimar
date Sun, 11 Sep 2005 17:45:12 +0000
parents 2de4d051dd21
children 35c8d3361404
line wrap: on
line diff