diff make-dist @ 80746:b9445712d188

(x_delete_display): Don't call XrmDestroyDatabase on GTK+.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 21 Aug 2008 19:40:29 +0000
parents 5e73f3fa746f
children f13d2ef47961
line wrap: on
line diff