Thu, 07 Oct 2021 11:55:46 -0700 |
David Barts |
Add degree symbol, fix bug in HTML curler.
default tip
|
Sun, 15 Mar 2020 10:52:55 -0700 |
David Barts |
Fix curling inside double quotes.
|
Sat, 28 Dec 2019 00:46:38 -0800 |
David Barts |
Remove deadwood.
|
Fri, 27 Dec 2019 23:28:57 -0800 |
David Barts |
Fix bug; new ws much like old.
|
Fri, 27 Dec 2019 11:26:00 -0800 |
David Barts |
Make it array-based.
|
Thu, 26 Dec 2019 20:56:38 -0800 |
David Barts |
Undo that; ignoring <pre> is a sticky wicket.
|
Thu, 26 Dec 2019 20:38:37 -0800 |
David Barts |
Leave bodies of <pre> tags alone.
|
Thu, 26 Dec 2019 20:04:04 -0800 |
David Barts |
Remove some deadwood.
|