| Thu, 07 Oct 2021 11:55:46 -0700 |
David Barts |
Add degree symbol, fix bug in HTML curler.
default tip
|
| Tue, 13 Apr 2021 10:18:59 -0700 |
David Barts |
Add README.
|
| Sat, 17 Oct 2020 14:19:27 -0700 |
David Barts |
Add --ligatures mode.
|
| Sun, 22 Mar 2020 08:32:52 -0700 |
David Barts |
Add --tex option.
|
| Sun, 15 Mar 2020 10:52:55 -0700 |
David Barts |
Fix curling inside double quotes.
|
| Wed, 15 Jan 2020 11:55:15 -0800 |
David Barts |
Fix bug.
|
| Wed, 15 Jan 2020 09:06:55 -0800 |
David Barts |
Add --backtick mode.
|
| Mon, 30 Dec 2019 08:16:24 -0800 |
David Barts |
Remove deadwood, update runes.py.
|
| Sat, 28 Dec 2019 06:32:53 -0800 |
David Barts |
Remove deadwood.
|
| Sat, 28 Dec 2019 01:22:03 -0800 |
David Barts |
Can't use memoryview to base Runes on; different methods inside.
|
| 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 15:53:22 -0800 |
David Barts |
... but not paranoid enough.
|
| Fri, 27 Dec 2019 13:37:47 -0800 |
David Barts |
Remove blank.
|
| Fri, 27 Dec 2019 13:35:51 -0800 |
David Barts |
Plug the leak properly (I hope).
|
| Fri, 27 Dec 2019 13:30:44 -0800 |
David Barts |
Plug a memoryview leak.
|
| Fri, 27 Dec 2019 13:23:07 -0800 |
David Barts |
Add support for shared substrings.
|
| Fri, 27 Dec 2019 11:39:21 -0800 |
David Barts |
Allow cloning.
|
| Fri, 27 Dec 2019 11:26:38 -0800 |
David Barts |
Deadwood; remove it.
|
| Fri, 27 Dec 2019 11:26:00 -0800 |
David Barts |
Make it array-based.
|
| Fri, 27 Dec 2019 09:51:26 -0800 |
David Barts |
Added tag v1_workspace for changeset 05363e803272
|
| Thu, 26 Dec 2019 21:54:10 -0800 |
David Barts |
Improve help text.
v1_workspace
|
| 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:24:32 -0800 |
David Barts |
Add --uncurl option.
|
| Thu, 26 Dec 2019 20:04:04 -0800 |
David Barts |
Remove some deadwood.
|
| Thu, 26 Dec 2019 19:54:45 -0800 |
David Barts |
Getting it working...
|
| Thu, 26 Dec 2019 13:18:53 -0800 |
David Barts |
Improve the efficiency.
|
