diff src/ov-colon.cc @ 4021:963507f8caf4

[project @ 2002-08-05 22:22:16 by jwe]
author jwe
date Mon, 05 Aug 2002 22:22:16 +0000
parents b80bbb43a1a9
children 7690958e7726
line wrap: on
line diff