Reto Bollinger f1935319ab Using mktemp		2024-11-28 13:10:23 +01:00
..
docker	Using mktemp	2024-11-28 13:10:23 +01:00
lektordata	Sligtly more elegant workaround for the synchronization/buffering issue. But still only a workaround I's say	2024-11-28 09:02:55 +01:00