Merge pull request #18820 from Sagar2366/patch-6

change from work to working directory
This commit is contained in:
Radek Simko 2019-07-18 15:26:05 +01:00 committed by GitHub
commit cc9797443b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -63,7 +63,7 @@ run.
This special mode of operation supports two use-cases: This special mode of operation supports two use-cases:
* Given a version control source, it can serve as a shorthand for checking out * Given a version control source, it can serve as a shorthand for checking out
a configuration from version control and then initializing the work directory a configuration from version control and then initializing the working directory
for it. for it.
* If the source refers to an _example_ configuration, it can be copied into * If the source refers to an _example_ configuration, it can be copied into