Replace the confusing --work-dir option by two options (that actually work)#156
Merged
dscho merged 2 commits intogitgitgadget:mastergitgitgadget/gitgitgadget:masterfrom Dec 10, 2019
Merged
Replace the confusing --work-dir option by two options (that actually work)#156dscho merged 2 commits intogitgitgadget:mastergitgitgadget/gitgitgadget:masterfrom
--work-dir option by two options (that actually work)#156dscho merged 2 commits intogitgitgadget:mastergitgitgadget/gitgitgadget:masterfrom
Commits
Commits on Dec 9, 2019
ci-helper: clarify attribute name
Show description for da63d1ccommittedmisc-helper: replace `--work-dir` by two separate options
Show description for 0142722committed