diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-11-11 15:35:59 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2020-11-11 18:35:40 +0300 |
commit | cc1e10db513d1a6da66556934f583270604b3973 (patch) | |
tree | b38ca4b9433bc546b92b1aae3b58749ebf2a208a /doc/man-prologue.xhtml | |
parent | f5ae09e7b1b6e38502e8532e1801076253f450b2 (diff) |
Retry periodically failing rmdir in bootstrapt scripts for Windows
Diffstat (limited to 'doc/man-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions