comparison configure.in @ 84829:534b1b9b7dcd

(standard_args): Change priority of "--no-splash" from 40 to 3. Add "--no-desktop" with the same priority.
author Juri Linkov <juri@jurta.org>
date Mon, 24 Sep 2007 00:59:18 +0000
parents 9dfed345b6b7
children 5039706521c9
comparison
equal deleted inserted replaced
84828:c7006132af93 84829:534b1b9b7dcd