diff man/mini.texi @ 49300:b99be2b86231

(customize-changed-options): Undo last doc change.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sat, 18 Jan 2003 03:18:20 +0000
parents 3d861934169e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff