diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-31 08:04:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-31 08:04:46 +0100 |
| commit | ac38f0782fbf781265ec34a43196e3ea157f3696 (patch) | |
| tree | 8c3497a502003d30232e9609d0b1f5b894ccf8f7 /.gitignore | |
| parent | 0ef3a8b5ca7c1a54f96c6d6ea9909b90ac9bd4de (diff) | |
| parent | e72d6cf54a7d93082f5e0600276b7114d868de07 (diff) | |
Merge pull request #33195 from conankzhang/doc-project-settings
Add descriptions to set_initial_value and set_setting.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions