make page header part larger to prevent title wrapping
[bootmanager.git] / documentation /
drwxr-xr-x   ..
-rw-r--r-- 95897 bm_flowchart.svg
-rw-r--r-- 64059 bm_sequence.svg
-rw-r--r-- 39555 boot-manager-pdn.pdf
-rw-r--r-- 38801 boot-manager-pdn.xml
-rw-r--r-- 115600 boot-manager-tech-doc.pdf
-rw-r--r-- 32261 boot-manager-tech-doc.xml
-rw-r--r-- 629 pdn-pdf-style.xsl