]> git.tuebingen.mpg.de Git - paraslash.git/search
move gui-related symbols from para.h to new gui.h