diff INSTALL @ 11844:cacb7820d1c7

(unload-feature): When we come to (provide . FEATURE), remove FEATURE from the features list.
author Karl Heuer <kwzh@gnu.org>
date Thu, 18 May 1995 16:51:35 +0000
parents ae51069237f2
children 3f5326542cf6
line wrap: on
line diff