diff etc/TUTORIAL.pl @ 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 c5406394f567
line wrap: on
line diff