Pedro Pinto Silva c31030302c Gitpod: update defaults in coolwsd-gitpod.xml ... Add missing defaults and update user_interface defaults Signed-off-by: Pedro Pinto Silva <pedro.silva@collabora.com> Change-Id: Icbb3a40e507bbb409d208a434920e36c62eb1f03		2023-11-15 15:28:48 +01:00
..
coolwsd-gitpod.xml	Gitpod: update defaults in coolwsd-gitpod.xml	2023-11-15 15:28:48 +01:00
settings.json	Add default vscode settings for Gitpod	2021-07-13 12:38:31 +03:00