comparison config.bat @ 94415:8173b23112ae

(reftex-isearch-switch-to-next-file): Remove un-needed local `orig-list'. Replace cl `copy-list'.
author Glenn Morris <rgm@gnu.org>
date Sun, 27 Apr 2008 18:42:45 +0000
parents 107ccd98fa12
children 606f2d163a64 1a762a842f80
comparison
equal deleted inserted replaced
94414:d86cb59eea9f 94415:8173b23112ae