Overview
Comment: | HTML5 deprecates <strike> tag, use CSS instead |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA3-256: |
416a63d7c975c1b453256265adda3c8f |
User & Date: | joel on 2019-06-09 16:29:52 |
Other Links: | manifest | tags |
Context
2019-06-16
| ||
17:04 | Ignore images (Fossil settings) check-in: 9d7c5fb4 user: joel tags: trunk | |
2019-06-09
| ||
16:29 | HTML5 deprecates <strike> tag, use CSS instead check-in: 416a63d7 user: joel tags: trunk | |
16:23 | makefile: better spritz, don't include templates in tidy check-in: 6b973e56 user: joel tags: trunk | |
Changes
Modified tags-html.rkt from [a895fb78] to [aadcedd5].
︙ | |||
42 43 44 45 46 47 48 | 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 | - + + | ;; Here we go: (provide/define-html-default-tags p b strong i em |
︙ |