Overview
| Comment: | Clean up HTML Snippets scribble doc |
|---|---|
| Timelines: | family | ancestors | descendants | both | doc-expansion |
| Files: | files | file ages | folders |
| SHA3-256: |
e2a5ab964bf68e268fe5a4c7063ffbc9 |
| User & Date: | joel on 2020-02-14 22:46:54 |
| Other Links: | branch diff | manifest | tags |
Context
|
2020-02-19
| ||
| 03:28 | Further reorg code docs check-in: 82481872 user: joel tags: doc-expansion | |
|
2020-02-14
| ||
| 22:46 | Clean up HTML Snippets scribble doc check-in: e2a5ab96 user: joel tags: doc-expansion | |
| 22:25 | Reorganize Pollen and cache stuff in scribble docs check-in: dc332aff user: joel tags: doc-expansion | |
Changes
Modified code-docs/snippets-html.scrbl from [ca2f5449] to [178dfa09]. [diff]