Move the page layout into CSS, hence no extra page title anymore
[infodrom.org/infocon.infodrom.org] / src / infos /
drwxr-xr-x   ..
-rw-r--r-- 928 credits.wml
-rw-r--r-- 4945 debian.wml
-rw-r--r-- 2284 freesw.wml
-rw-r--r-- 408 index.wml
-rw-r--r-- 1325 linux.wml
-rw-r--r-- 6389 spenden.wml
-rw-r--r-- 658 submenu.inc
-rw-r--r-- 1111 webpages.wml