diff etc/fr-drdref.ps @ 38218:ab6119af2d6b

(uniquify-rationalize-file-buffer-names): Do a preliminary quick reordering. Can speed things up dramatically.
author Francesco Potortì <pot@gnu.org>
date Wed, 27 Jun 2001 15:56:51 +0000
parents c96c07c36f33
children 71c7c34c4f6b
line wrap: on
line diff