Overview
Comment: | Use friendlier repo URL in code docs |
---|---|
Timelines: | family | ancestors | descendants | both | doc-expansion |
Files: | files | file ages | folders |
SHA3-256: |
63876c1845fc62d54f3d64b3754ec49c |
User & Date: | joel on 2020-02-12 21:13:59 |
Other Links: | branch diff | manifest | tags |
Context
2020-02-14
| ||
22:25 | Reorganize Pollen and cache stuff in scribble docs check-in: dc332aff user: joel tags: doc-expansion | |
2020-02-12
| ||
21:13 | Use friendlier repo URL in code docs check-in: 63876c18 user: joel tags: doc-expansion | |
21:12 | Don’t clobber the footer when rebuilding code docs check-in: c8354d62 user: joel tags: doc-expansion | |
Changes
Modified code-docs/scribble-helpers.rkt from [d6d57bb0] to [a1dd7f15].
︙ | |||
12 13 14 15 16 17 18 | 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | - + | scribble/decode racket/runtime-path (only-in net/uri-codec uri-encode)) (provide (all-defined-out)) (define-runtime-path custom-css "custom.css") |
︙ |