![[ICO]](/meta/icons/blank.png){kind=icon}
![[PARENTDIR]](/meta/icons/folder-home.png){kind=icon}
![[ ]](/meta/icons/default.png){kind=icon}
![[ ]](/meta/icons/doc.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| .gdb_history | 2024-02-20 18:47 | 165 | |
| .gdbinit | 2024-02-20 18:47 | 2.2K | |
| Makefile | 2024-02-20 18:47 | 39 | |
| cmr10.tfm | 2024-02-20 18:47 | 1.3K | |
| f.tex | 2024-02-20 18:47 | 252 | |
| rebuild.sh | 2024-02-20 18:47 | 59 | |
| run.sh | 2024-02-20 18:47 | 189 |