diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-11-09 19:54:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-09 19:54:34 +0100 |
commit | b4a066188579458412159e35c697070cb5e77070 (patch) | |
tree | 4acee5465ec3c4aa58a0f88c926fdbfae460b9f0 /CHANGELOG.md | |
parent | aa6a1094a5d4c06303d413c203c99158b8b4c7e2 (diff) | |
parent | 11bf2ec6d161b737c7bce3172be48cd8ca4792cf (diff) |
Merge pull request #43419 from reduz/document-operators
Make sure operators appear in the docs too
Diffstat (limited to 'CHANGELOG.md')
0 files changed, 0 insertions, 0 deletions