diff etc/DISTRIB @ 71844:632e73258d36

(Fwindow_configuration_frame, Fset_window_configuration): (compare_window_configurations): Use CHECK_WINDOW_CONFIGURATION.
author Kim F. Storm <storm@cua.dk>
date Wed, 12 Jul 2006 13:22:00 +0000
parents e8a3fb527b77
children 0259a1711394
line wrap: on
line diff