]>
2022-05-18 | Paul Hänsch | Merge commit '121b533c5aaf642cb9e4f887861ab511031362ef' | blob | commitdiff | raw |
2022-05-18 | Paul Hänsch | Merge commit '85299c7a3814fe8206c5db335cc51aaf1a245b23' | blob | commitdiff | raw |
2022-05-18 | Paul Hänsch | Merge commit '5fa200f3143db4360818d82e9ed68e3bc297872a' | blob | commitdiff | raw |
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 |