diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-10-02T13·45+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-02T13·45+0200 |
| commit | d93db0ace075dd385c7767634a06c73b8b853fe5 (patch) | |
| tree | 6f4ab73d490f4fd9378d0f9711989853e9cf4c60 /doc/manual/expressions/language-operators.xml | |
| parent | aa5e47b2f4697b807c6e601df136adef1ea0cc78 (diff) | |
| parent | 05cfc71cab4dd4c53f919d7451c36c8b5876919d (diff) | |
Merge pull request #2464 from Profpatsch/docs-builtins-add-ids
manual: add XML IDs to all builtin list entries
Diffstat (limited to 'doc/manual/expressions/language-operators.xml')
0 files changed, 0 insertions, 0 deletions