| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README | 831 B | 2024-Sep-30 02:52 |
| latex-doc-ptr.html | 40.2 KiB | 2024-Sep-30 02:37 |
| latex-doc-ptr.css | 7.5 KiB | 2024-Sep-30 02:37 |
| latex-doc-ptr.pdf | 175.3 KiB | 2024-Sep-30 02:37 |
| latex-doc-ptr.tex | 14.8 KiB | 2024-Sep-30 02:31 |
| latex-doc-ptr.sty | 8.7 KiB | 2024-Sep-30 02:27 |
| Makefile | 3.7 KiB | 2022-Oct-23 05:29 |
| dash.sty | 396 B | 2022-Oct-23 05:29 |
| LICENSE | 102 B | 2022-Oct-23 05:29 |
| massage_html.awk | 634 B | 2022-Oct-23 05:29 |