This repository has been archived on 2023-02-26. You can view files and clone it, but cannot push or open issues or pull requests.

Phuntsok Drak-pa b1ef08db63 mainly fixed the PDF layout		2019-09-03 04:13:42 +02:00
..
head-lvl0.org	fixes for themes and header links	2019-08-25 05:20:06 +02:00
head-lvl1.org	fixes for themes and header links	2019-08-25 05:20:06 +02:00
headers.org	mainly fixed the PDF layout	2019-09-03 04:13:42 +02:00