diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-26 09:20:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-26 09:20:36 +0100 |
| commit | 6bb1eb821286d23eaa518f7d12ad5a9d8aabdd7e (patch) | |
| tree | 3b2467d4afa899b429fd0ed195562f60b05071fc /doc/classes/CodeHighlighter.xml | |
| parent | c6b9ceadf2d2c220acdb4081e488c13de9d5f52c (diff) | |
| parent | 40d6a25ef5ac11a1f077aaeebc4464e0d452a817 (diff) | |
Merge pull request #47374 from timothyqiu/check-section
Check section existance before getting keys
Diffstat (limited to 'doc/classes/CodeHighlighter.xml')
0 files changed, 0 insertions, 0 deletions