Simon Binder b826391bcb Add aliases from old documentation URLs		2023-09-24 15:39:38 +02:00
..
hooks	Add web compatibility information to web page	2023-05-31 23:48:13 +02:00
footer.html	Update packages used in documentation	2023-09-10 22:19:41 +02:00