It's not reliable on all versions of docker, and we haven't had time to fix it yet, so just turn it off. It's not essential to redo. Reported-by: fcsmith@gmail.com |
||
|---|---|---|
| .. | ||
| c | ||
| container | ||
| defaults | ||
| hello | ||
| latex | ||
| redoconf-simple | ||
| all.do | ||
| clean.do | ||
It's not reliable on all versions of docker, and we haven't had time to fix it yet, so just turn it off. It's not essential to redo. Reported-by: fcsmith@gmail.com |
||
|---|---|---|
| .. | ||
| c | ||
| container | ||
| defaults | ||
| hello | ||
| latex | ||
| redoconf-simple | ||
| all.do | ||
| clean.do | ||