]>
2022-05-16 | Paul Hänsch | dialog for user settings, separate handler for special... | tree | commitdiff |
2022-05-12 | Paul Hänsch | somewhat more readable URL selection | tree | commitdiff |
2022-05-12 | Paul Hänsch | fix accidental mishandling | tree | commitdiff |
2022-05-12 | Paul Hänsch | URL selection based on handlers | tree | commitdiff |