comparison make-dist @ 77086:8a7e4a9d6e94

(Initial Options): Call "inhibit-splash-screen" by its new name. Insert concept index entries.
author Alan Mackenzie <acm@muc.de>
date Mon, 09 Apr 2007 17:01:44 +0000
parents 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
comparison
equal deleted inserted replaced
77085:4f239924057d 77086:8a7e4a9d6e94