Mon, 28 Aug 2023 21:07:43 +0100 |
Henry S. Thompson |
handle double .www, more keep-me chars
|
Thu, 24 Aug 2023 18:21:41 +0100 |
Henry S. Thompson |
work-around for weird handling of %-encoding in Java impl. of SURT
|
Mon, 21 Aug 2023 13:06:20 -0400 |
Henry Thompson |
merge, including pointless fix wrt pq
|
Sat, 19 Aug 2023 16:33:23 -0400 |
Henry Thompson |
use surt instead of trying to create index term by hand
|
Sat, 19 Aug 2023 16:02:29 -0400 |
Henry Thompson |
merge
|
Sat, 19 Aug 2023 15:58:38 -0400 |
Henry Thompson |
stale
|
Sat, 19 Aug 2023 15:53:59 -0400 |
Henry Thompson |
catching up by hand with markup version,
|
Mon, 21 Aug 2023 13:37:07 +0100 |
Henry S. Thompson |
include timestamp
|