Merge branch 'master' of /home/john/Development/pspp-window-manager
[pspp-builds.git] / src / ui / terminal / terminal.h
2007-09-26 Ben PfaffPatch #6210: implement ability to resize output device...