comparison BUGS @ 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 af68d12218d0
children 8ce686bd7f4f
comparison
equal deleted inserted replaced
48732:a6f24af5cc55 48733:ce58108a36d0