web: Don't duplicate the html header.
[osl.git] / web / .gitignore
2020-09-22 Andre Nollweb: Get rid of doxygen.
2009-07-26 Andre NollAdd README/INSTALL and webpage generation stuff.