diff src/pt-colon.cc @ 3174:390d5e396682

[project @ 1998-05-04 16:36:17 by jwe]
author jwe
date Mon, 04 May 1998 16:36:26 +0000
parents 20f5cec4f11c
children b80bbb43a1a9
line wrap: on
line diff