diff move-if-change @ 65343:d82393ad9b2d

Fix last change to custom-push-theme.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 06 Sep 2005 03:14:46 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff