| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| massage_html.awk | 634 B | Oct 22, 2022 |
| latex-doc-ptr.tex | 14.8 KiB | Sep 29, 2024 |
| latex-doc-ptr.sty | 8.7 KiB | Sep 29, 2024 |
| latex-doc-ptr.pdf | 175.3 KiB | Sep 29, 2024 |
| latex-doc-ptr.html | 40.2 KiB | Sep 29, 2024 |
| latex-doc-ptr.css | 7.5 KiB | Sep 29, 2024 |
| dash.sty | 396 B | Oct 22, 2022 |
| README | 831 B | Sep 29, 2024 |
| Makefile | 3.7 KiB | Oct 22, 2022 |
| LICENSE | 102 B | Oct 22, 2022 |