Marcus Schäfer 69c691d521 Update preferences documentation ... The last commit added the optional arch attribute to the preferences section but the documentation did not expose this information. This is related to Issue #1640		2020-12-17 10:44:24 +01:00
..
elements.rst	Update preferences documentation	2020-12-17 10:44:24 +01:00