diff update-subdirs @ 48733:ce58108a36d0

(Unloading): Fix last change for load-history.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sat, 07 Dec 2002 22:37:02 +0000
parents 53a1d514b214
children 23a1cea22d13
line wrap: on
line diff