| Name | Size | Permissions | Modified | Actions |
|---|---|---|---|---|
| 📂 Parent Directory | ||||
| 📁 DebugTexinfo | - | 2023-06-22 00:25 | ||
| 📁 Pod-Simple-Texinfo | - | 2016-11-19 15:01 | ||
| 📁 Texinfo | - | 2023-06-22 00:25 | ||
| 📁 init | - | 2023-06-22 00:25 | ||
| 📁 lib | - | 2023-06-22 00:25 | ||
| 📄 htmlxref.cnf | 19.7 KB | 2018-11-01 20:26 | ||
| 📄 texindex.awk | 10.8 KB | 2018-11-01 20:26 | ||
| 📄 texinfo.dtd | 44.3 KB | 2018-11-01 20:26 | ||