Philipinho e824aeced7 Add width option to page menu		2024-07-03 11:23:42 +01:00
..
client	Add width option to page menu	2024-07-03 11:23:42 +01:00
server	add full page width preference	2024-07-03 11:00:42 +01:00