A web-based collaborative LaTeX editor

Jakob Ackermann 72282a07df [misc] socket.io: use a custom logger ... - forward the previously enabled log messages to our logger-module - stub the previously disabled logger methods - drop the log-level config for socket.io		2020-09-01 09:30:11 +01:00
services/real-time	[misc] socket.io: use a custom logger	2020-09-01 09:30:11 +01:00