Overview
| Comment: | Create misc directory for non-config files |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
591160109315b2ef0ff24d4b56b08f9c |
| User & Date: | js on 2023-04-01 11:15:08 |
| Other Links: | manifest | tags |
Context
|
2023-04-01
| ||
| 11:16 | Add ssh directory check-in: 9d06fa6e91 user: js tags: trunk | |
| 11:15 | Create misc directory for non-config files check-in: 5911601093 user: js tags: trunk | |
| 11:12 | Create "Keyboard Layouts" directory check-in: fc9dc3c0b5 user: js tags: trunk | |
Changes
Name change from Basic.terminal to misc/Basic.terminal.
| ︙ | ︙ |
Name change from Set3000x2000Res.m to misc/Set3000x2000Res.m.
| ︙ | ︙ |