diff make-dist @ 10513:e4423ed2b4cb

Document force arg in unload-feature.
author Richard M. Stallman <rms@gnu.org>
date Sat, 21 Jan 1995 23:51:19 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff