]>
2022-05-17 | Paul Hänsch | Merge commit '1f887be68c8e777cdaa6853eb942f7b691bc1e4e' | blob | commitdiff | raw |
2022-05-17 | Paul Hänsch | clearing of meta data lines now obsolete | blob | commitdiff | raw |
2022-05-17 | Paul Hänsch | Disallow newlines in page names | blob | commitdiff | raw | diff to current |
2022-05-16 | Paul Hänsch | dialog for user settings, separate handler for special... | blob | commitdiff | raw | diff to current |
2022-05-12 | Paul Hänsch | fix accidental mishandling | blob | commitdiff | raw | diff to current |
2022-05-12 | Paul Hänsch | URL selection based on handlers | blob | commitdiff | raw | diff to current |