|
|
1428652b84
|
Some minor updates to the site and search API.
|
2024-08-03 17:42:04 +01:00 |
|
|
|
e21d3c83ab
|
Don't quote the search string.
|
2023-10-14 21:03:43 +01:00 |
|
|
|
958e890538
|
Update search facility.
|
2023-10-14 20:16:55 +01:00 |
|
|
|
6379a864b7
|
Modify error output from searchapi.cgi.
|
2023-10-13 22:38:18 +01:00 |
|
|
|
78f3e7210e
|
Add searchapi.cgi.
|
2023-10-13 18:46:55 +01:00 |
|
