| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | chore(docs): rename dev-docs directory to dev | 魏曹先生 | 7 hours | 4 | -242/+0 |
| | | | | | Update sidebar link for remove-r-print-macro to use full description | ||||
| * | docs: add issue doc for removing r_print macros and fix sidebar | 魏曹先生 | 24 hours | 1 | -0/+87 |
| | | | | | Capitalize "Templates" entry in dev-docs sidebar | ||||
| * | docs(sidebar): rename code-verify-system link to Markdown Code | 魏曹先生 | 26 hours | 2 | -12/+12 |
| | | | | | Verification System | ||||
| * | docs: restructure dev-docs sidebar and move pages into subdirectories | 魏曹先生 | 26 hours | 3 | -0/+155 |
