diff mangle.h @ 8950:8fd72eae8886

Small updates for correctness and consistency.
author diego
date Mon, 13 Jan 2003 23:45:14 +0000
parents 9d55352cea20
children 4e2d477981e2
line wrap: on
line diff