![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[TXT]](/icons/text.gif){kind=icon} | layout.ts | 2022-07-20 10:31 | 22K |
| main.ts | 2022-07-20 10:14 | 40K |
| tikz.ts | 2022-07-20 11:01 | 48K |
| widgets.ts | 2022-07-20 10:52 | 101K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| layout.ts | 2022-07-20 10:31 | 22K |
| main.ts | 2022-07-20 10:14 | 40K |
| tikz.ts | 2022-07-20 11:01 | 48K |
| widgets.ts | 2022-07-20 10:52 | 101K |