diff lib-src/profile.c @ 97880:b81e767914b5

(Info-hide-note-references, Info-refill-paragraphs): Doc fixes.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 20:16:36 +0000
parents 3a4bc081639c
children a9f7e446141d
line wrap: on
line diff