diff src/ov-list.cc @ 2980:cd5ad3fd8049

[project @ 1997-05-16 01:12:13 by jwe]
author jwe
date Fri, 16 May 1997 01:13:19 +0000
parents ebbc34ff7f66
children aa9d0c0e0458
line wrap: on
line diff