diff options
| author | David Smith <39445562+smithdc1@users.noreply.github.com> | 2021-12-28 12:42:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-28 13:42:35 +0100 |
| commit | 950d697b95e66deb3155896e0b619859693bc8c6 (patch) | |
| tree | 93fafcdd884e59acd1596a923938f0e8e7ffc920 /docs/ref | |
| parent | feeb0685c62a793c55a058584ba1de45e74f80f7 (diff) | |
Refs #31617 -- Removed redundant title text in filter.html.
Unnecessary since 269a76714616fd7ad166a14113f3354bab8d9b65.
Title text should provide advisory information and should not be the
same or very similar to the element text.
Diffstat (limited to 'docs/ref')
0 files changed, 0 insertions, 0 deletions