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]. [diff]