diff doc/interpreter/gpl.txi @ 4448:042cdbb7f317

[project @ 2003-07-08 19:14:55 by jwe]
author jwe
date Tue, 08 Jul 2003 19:14:55 +0000
parents aae05d51353c
children 1b3ac08dcb37
line wrap: on
line diff