comparison leim/COPYING @ 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 062b946fd386
children d92149473c34
comparison
equal deleted inserted replaced
48732:a6f24af5cc55 48733:ce58108a36d0