diff make-dist @ 85141:b16f7408cd3f

Carry through today's big terminology change to a few places where I missed it in the back ends.
author Eric S. Raymond <esr@snark.thyrsus.com>
date Wed, 10 Oct 2007 19:39:23 +0000
parents 6fa9e8761256
children 2e60398b267b 14c4a6aac623
line wrap: on
line diff