diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-08 15:08:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-08 15:08:45 +0200 |
| commit | 56269e2db835e50a4cf2681bb73c44ae41fcca10 (patch) | |
| tree | 6ab7e553c9ca3efd3c664abaddf8aa76c3331b61 /editor/plugins | |
| parent | 410cb13abdf5699bdcd6e73728c947e1e75b4cad (diff) | |
| parent | a84124fd1dd7e4cc797eec45db93fb53fd662e48 (diff) | |
Merge pull request #29613 from Calinou/doctool-create-directories
Make `--doctool` create directories if they don't exist
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions