../ GNUmakefile 29-Dec-2022 16:50 1648 GNUmakefile.preamble 29-Dec-2022 16:50 1649 WIN32Server.m 29-Dec-2022 16:50 90558 w32_GLcontext.m 29-Dec-2022 16:50 15711 w32_GLformat.m 29-Dec-2022 16:50 7158 w32_activate.m 29-Dec-2022 16:50 3186 w32_create.m 29-Dec-2022 16:50 3561 w32_general.m 29-Dec-2022 16:50 3786 w32_movesize.m 29-Dec-2022 16:50 9885 w32_text_focus.m 29-Dec-2022 16:50 3553 w32_windowdisplay.m 29-Dec-2022 16:50 4528