edit history De:poolc5 Dies ist eine alte Version des Dokuments! U1.012 - Linux Pool Dies ist der große Linux Pool mit 20 PCs. OS: Ubuntu 16.04?