comparison leim/MISC-DIC/CTLau-b5.html @ 47733:d1dbe1fc93d6

(normal-top-level): Reset standard-value of `user-full-name' here.
author Markus Rost <rost@math.uni-bielefeld.de>
date Wed, 02 Oct 2002 16:32:15 +0000
parents 15a579a26248
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
47732:3712c799f805 47733:d1dbe1fc93d6