3 commits

Author	SHA1	Message	Date
Lukas Winkler	b21526ef85	fix diff title	2022-11-25 20:57:06 +01:00
Lukas Winkler	e0d51b56ed	never use a pager for diff	2022-07-03 00:17:16 +02:00
Lukas Winkler	6ab2a8f782	allow refreshing HTML	2022-07-03 00:14:51 +02:00