4 commits

Author	SHA1	Message	Date
Nicolas Jeannerod	8ad1457763	Enable trimming of trailing whitespace as a pre-commit hook	2024-11-20 13:07:03 +01:00
Nicolas Jeannerod	fe0c69f6d9	Add changes that hadn't been pushed to the repo as well	2024-11-20 12:41:13 +01:00
Nicolas Jeannerod	62eea1bf8a	Add Wiki machine to web deployment	2024-11-20 10:13:40 +01:00
Nicolas Jeannerod	47bca471da	Add wiki machine to the infra/ directory	2024-11-20 10:13:40 +01:00