diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-03 15:23:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-03 15:23:39 +0200 |
| commit | eaf15fd5a27eb1645cdf74611233a00ca3af5b93 (patch) | |
| tree | 770e9ced2045f1848ab0fb8ede2b1952ee1d36b3 /misc/dist/shell | |
| parent | 488576ade9fb59fbec7b24514b655c1579403c57 (diff) | |
| parent | bc1ea1cbad08502233ea0e79c137be54ed4f31d0 (diff) | |
Merge pull request #40085 from slooths/doc-selecting-enabled
Add documentation for selecting_enabled
Diffstat (limited to 'misc/dist/shell')
0 files changed, 0 insertions, 0 deletions