diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-04-08 14:12:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-08 14:12:06 +0200 |
| commit | 084b882c0a1957ca15bbb6ddadce050e81315f58 (patch) | |
| tree | 8b364cda3fceb253f456be99e66e43a655dbd1ca /editor/icons/PinPressed.svg | |
| parent | 0283bc8fd56119f44fb60e0ef2fec6d90660fc5e (diff) | |
| parent | 096ef0dc911ecc60e8dd32d8787b1e3705815f14 (diff) | |
Merge pull request #47647 from akien-mga/doctool-default-cwd
Main: Default `--doctool` path to '.' if none given
Diffstat (limited to 'editor/icons/PinPressed.svg')
0 files changed, 0 insertions, 0 deletions