diff man/display.texi @ 44597:071e287dcbde

Run autoheader if necessary.
author Andreas Schwab <schwab@suse.de>
date Mon, 15 Apr 2002 13:13:32 +0000
parents e2407682df3e
children 74f67ed375f0
line wrap: on
line diff