diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-17 03:03:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-17 03:03:01 +0200 |
| commit | 816808295dba315140a535a52f5aa2e40fbc13e6 (patch) | |
| tree | f24f66283e0c6d20c14c10fed4e5ecdc0e7c050d | |
| parent | 786aaf0f64789921e728b108e4935121aa3d549d (diff) | |
| parent | 178abd7d810a15a39baf2ab366e8fde0974287c7 (diff) | |
| download | rust-816808295dba315140a535a52f5aa2e40fbc13e6.tar.gz rust-816808295dba315140a535a52f5aa2e40fbc13e6.zip | |
Rollup merge of #63641 - DieracDelta:master, r=eddyb
add git keyword to submodule comments in config.example.toml I searched over config.example.toml file looking for a place to disable git submodules from being updated, and missed the two options related to this because they did not include the keyword git. This pr simply adds git to the relevant comments so hopefully others won't also miss that these options exist.
| -rw-r--r-- | config.toml.example | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.toml.example b/config.toml.example index cb9f388a8e4..a3ec4f2044c 100644 --- a/config.toml.example +++ b/config.toml.example @@ -141,10 +141,10 @@ # library and facade crates. #compiler-docs = false -# Indicate whether submodules are managed and updated automatically. +# Indicate whether git submodules are managed and updated automatically. #submodules = true -# Update submodules only when the checked out commit in the submodules differs +# Update git submodules only when the checked out commit in the submodules differs # from what is committed in the main rustc repo. #fast-submodules = true |