Jörg Thalheim ed3e2a71ea Merge pull request #12994 from fricklerhandwerk/reword-derivation ... glossary: re-introduce "derivation"		2025-05-26 14:58:52 +02:00
..
manual	Merge pull request #12994 from fricklerhandwerk/reword-derivation	2025-05-26 14:58:52 +02:00