Quentin Gliech bbf51115ac Format the frontend in the update script

2024-04-03 12:04:18 +02:00

..

build-docs.sh

Add placeholders in the documentation to make browsing the documentation source less confusing

2023-10-11 17:34:06 +02:00

update.sh

Format the frontend in the update script

2024-04-03 12:04:18 +02:00