diff help/help_mp-sk.h @ 36948:a5537f70df8e

Change assignment of stream in Win32 GUI. Adjust the code to the X11/GTK GUI.
author ib
date Sun, 23 Mar 2014 11:52:09 +0000
parents 7a5d329bcb72
children 2208a16cc562
line wrap: on
line diff