diff etc/PROBLEMS @ 37943:e4f0e3e1c22e

minor optimization
author Sam Steingold <sds@gnu.org>
date Tue, 29 May 2001 16:12:03 +0000
parents 99998083d710
children 3bf93c45de95
line wrap: on
line diff