diff src/ov-builtin.cc @ 4587:7b957b442818

[project @ 2003-11-10 15:50:39 by jwe]
author jwe
date Mon, 10 Nov 2003 15:50:40 +0000
parents fc9a075d10fb
children d44675070f1a
line wrap: on
line diff