Wolfgang Walther 1dd9c32b18 docs: remove references before 22.11 ... Stuff that has been in for many years doesn't need to be mentioned explicitly anymore.		2024-11-17 12:51:09 +01:00
..
manual	docs: remove references before 22.11	2024-11-17 12:51:09 +01:00