diff move-if-change @ 52006:b1b3a648691c

(Garbage Collection): Fix previous change.
author Markus Rost <rost@math.uni-bielefeld.de>
date Tue, 22 Jul 2003 16:15:25 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff