diff etc/LINUX-GNU @ 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 95415d9788e6
children 23a1cea22d13
line wrap: on
line diff