enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

1
2
3
4
/*
 * There isn't anything here anymore, but the file must not be empty or patch
 * will delete it.
 */