From: Andre Noll Date: Sun, 11 Feb 2007 18:09:36 +0000 (+0100) Subject: move gui-related symbols from para.h to new gui.h X-Git-Tag: v0.2.15~21 X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=6a52c8891d69e45389081a4400c7d3f1314be868;hp=6a52c8891d69e45389081a4400c7d3f1314be868;ds=sidebyside move gui-related symbols from para.h to new gui.h ---