diff options
| author | Linus Heckemann <git@sphalerite.org> | 2019-03-21T08·35+0100 |
|---|---|---|
| committer | Linus Heckemann <git@sphalerite.org> | 2019-03-21T08·37+0100 |
| commit | 6f093073b6ff38fb2c4e22331e73930baa1b30e7 (patch) | |
| tree | 32153d2ba20209ac0081a63b7d15acddf90efac6 /doc/manual/schemas.xml | |
| parent | ffeabf8390f69d6bb002c2a4e17eef186ecaa32d (diff) | |
manual: include builtins.* for globally available builtins
This improves searchability.
Diffstat (limited to 'doc/manual/schemas.xml')
0 files changed, 0 insertions, 0 deletions