Changes In Branch alt-logo Excluding Merge-Ins
This is equivalent to a diff from fdc47974 to 671acdae
2019-04-04
| ||
15:48 | Merge alternate header/logo concept check-in: 5dbeca0e user: joel tags: trunk | |
15:22 | Subtler header + new logo concept Leaf check-in: 671acdae user: joel tags: alt-logo | |
2019-03-31
| ||
20:19 | Remove attr-present (redundant) check-in: fdc47974 user: joel tags: trunk | |
2019-03-24
| ||
00:50 | Correct scribble doc for select-rows! check-in: 4e28f613 user: joel tags: trunk | |
Modified snippets-html.rkt from [fd84a05e] to [7d073437]. [diff]
Added web-extra/mark.svg version [adb51b3e].
Modified web-extra/martin.css.pp from [cea56616] to [4103440b]. [diff]