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

Phuntsok Drak-pa d8ee252b48 renamed clean script, better pdf margin

2019-08-06 15:54:24 +02:00

..

head-lvl0.org

updated headers for relative links to HTML headers

2019-07-11 05:12:23 +02:00

head-lvl1.org

fix headers

2019-07-11 05:26:57 +02:00

headers.org

renamed clean script, better pdf margin

2019-08-06 15:54:24 +02:00