web: Don't duplicate the html header.
[osl.git] / web /
drwxr-xr-x   ..
-rw-r--r-- 43 .gitignore
-rw-r--r-- 21 footer.html
-rw-r--r-- 881 header.html
-rw-r--r-- 1790 index.html.in
-rw-r--r-- 222439 osl.pdf