r3980: Moved make_heading into gui_support.
treed92d5f304cb5cefb4d049f4c6f24a8331a5dbbc1
drwxr-xr-x - Choices
-rw-r--r-- 2980 README
-rw-r--r-- 3247 README-es
drwxr-xr-x - ROX-Filer
-rwxr-xr-x 5694 install.sh
-rw-r--r-- 186 rox.xml