diff kpathsea/mktexnam @ 4086:ddc722b38e87

[project @ 2002-10-03 19:08:45 by jwe]
author jwe
date Thu, 03 Oct 2002 19:08:45 +0000
parents 1f0b06020e36
children
line wrap: on
line diff