![[ICO]](/icons-sys/blank.png){kind=icon}
![[PARENTDIR]](/icons-sys/back.png){kind=icon}
![[ ]](/icons-sys/unknown.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| Doc.js | 2023-07-18 13:56 | 17K |
| change_measurement.js | 2023-07-18 13:56 | 2.2K |
| changes.js | 2023-07-18 13:56 | 12K |
| chunk.js | 2023-07-18 13:56 | 5.2K |
| document_data.js | 2023-07-18 13:56 | 4.2K |
| history.js | 2023-07-18 13:56 | 8.1K |
| line_widget.js | 2023-07-18 13:56 | 2.8K |
| mark_text.js | 2023-07-18 13:56 | 11K |
| selection.js | 2023-07-18 13:56 | 2.8K |
| selection_updates.js | 2023-07-18 13:56 | 7.9K |