Move common header into header.inc
tree1e7b97953c9afdfc5ebd339e15c7be3e01a778aa
-rw-r--r-- 60 .gitignore
drwxr-xr-x - css
-rw-r--r-- 2878 docs.php
lrwxrwxrwx 19 favicon.ico -> images/nasmicon.ico
-rw-r--r-- 53 footer.inc
-rw-r--r-- 270 header.inc
drwxr-xr-x - images
-rw-r--r-- 3313 index.php
-rw-r--r-- 1496 links.php
drwxr-xr-x - links
-rw-r--r-- 859 navbar.inc
-rw-r--r-- 3205 patches.php
-rw-r--r-- 250 robots.txt