![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.png){kind=icon} | texrocks/ | 2025-08-04 19:58 | - |
| texdef/ | 2025-08-04 19:58 | - |
![[ ]](/theme/icons/default.png){kind=icon} | tlua.lua | 2025-08-04 18:26 | 482 |
| texrocks.lua | 2025-08-04 18:26 | 14K |
| texdef.lua | 2025-08-04 18:26 | 9.1K |
| open.lua | 2025-08-04 18:26 | 2.7K |
| kpathsea.lua | 2025-08-04 18:26 | 9.9K |