Andreas B. Mundt 93f9565c55 Continue eliminating hardcoded apt-proxy.		2023-02-07 19:18:57 +01:00
..
handlers	Rename some roles to make ansible-lint happy.	2023-02-07 19:18:57 +01:00
tasks	Make use of auto-apt-proxy to use local proxy.	2023-02-07 19:18:57 +01:00